Zobrazeno 1 - 10
of 4 162
pro vyhledávání: '"Intuitionistic logic"'
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 321-344 (2024)
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely c
Externí odkaz:
https://doaj.org/article/86ac79893bf249ad92fcbf0865ec8435
Autor:
Leonard Kupś, Szymon Chlebowski
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 275-299 (2024)
We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination
Externí odkaz:
https://doaj.org/article/e5961615c41e4d6b98c3f82e40333abc
Autor:
Fredrik Stjernberg
Publikováno v:
Manuscrito, Vol 47, Iss 2 (2024)
Abstract In the literature, there are several claims about the centrality of a pro- cess ontology. It has often proved difficult, however, to understand what a process is supposed to be, and what the central difference to thing-based ontologies amoun
Externí odkaz:
https://doaj.org/article/6118638b6eb544a1b3399eb47911b67c
Autor:
Miglena Asenova
Publikováno v:
Education Sciences, Vol 14, Iss 6, p 673 (2024)
In this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed l
Externí odkaz:
https://doaj.org/article/0b97fbf3c12b4cfc8f13b9293cc0a637
Autor:
Sara Ayhan, Heinrich Wansing
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 187-237 (2023)
We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\ma
Externí odkaz:
https://doaj.org/article/476464d68ada40d0aff7a6e939ae20cd
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
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 4, Pp 535-554 (2022)
We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.
Externí odkaz:
https://doaj.org/article/a6c8dc6ea0c0480a942a40b5adeb6a5e
Autor:
Minghui Ma, Juntong Guo
Publikováno v:
Mathematics, Vol 12, Iss 1, p 146 (2024)
We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive. We show the discrete dualities betwe
Externí odkaz:
https://doaj.org/article/54ac28fff79d47908ae6eaa86c0f6e1b
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.