Zobrazeno 1 - 10
of 4 253
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:
Piecha, Thomas, Wehmeier, Kai F.
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/88357
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
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
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
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.