Zobrazeno 1 - 10
of 174
pro vyhledávání: '"Gödel logic"'
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 4, Pp 555-645 (2022)
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a l
Externí odkaz:
https://doaj.org/article/ffa30629bcc4426ca732c03845087a38
Autor:
Nazanin Roshandel Tavana
Publikováno v:
Axioms, Vol 12, Iss 9, p 858 (2023)
Pavelka-style (rational) Gödel logic is an extension of Gödel logic which is denoted by RGL*. In this article, due to the approximate Craig interpolation property for RGL*, the Robinson theorem and approximate Beth theorem are presented and proved.
Externí odkaz:
https://doaj.org/article/5626a390f7894bb1b03c8bf998cbc292
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Studia Logica. 110:429-456
We present a semantic game for Gödel logic and its extensions, where the players’ interaction stepwise reduces arbitrary claims about the relative order of truth degrees of complex formulas to atomic ones. The paper builds on a previously develope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d693b1a0bd23a627b02aacceecf80880
https://doi.org/10.1007/s11225-021-09966-x
https://doi.org/10.1007/s11225-021-09966-x
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cecilia Rossana Cimadamore, Diego Nicolás Castaño, Laura Alicia Rueda, José Patricio Díaz Varela
Publikováno v:
Fuzzy Sets and Systems. 407:161-174
Fil: Castano, Diego Nicolas. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Bahia Blanca. Instituto de Matematica Bahia Blanca. Universidad Nacional del Sur. Departamento de Matematica. Instituto d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7abb397de1970dcc87af8c96a0dcefd1
https://doi.org/10.1016/j.fss.2020.02.002
https://doi.org/10.1016/j.fss.2020.02.002
Publikováno v:
Studia Logica. 109:937-967
Fil: Castano, Diego Nicolas. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Bahia Blanca. Instituto de Matematica Bahia Blanca. Universidad Nacional del Sur. Departamento de Matematica. Instituto d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abf23c7a444c75c3d931e2613ac2d0ef
https://doi.org/10.1007/s11225-020-09934-x
https://doi.org/10.1007/s11225-020-09934-x
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.