RSS 1.0Bulletin of the Section of Logic 55/1 (2026)
Przeglądaj według
Najnowsze pozycje
-
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical. Schroeder-Heister has remarked that classical ... -
Bridging Classical and Modern Approaches to Thales' Theorem
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)In this paper, we reconstruct Euclid’s theory of similar triangles, as developed in Book VI of the Elements, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, ... -
An Elementary Proof of the Characterization Theorem for Conjunctive Multiple-Conclusion Consequence Relations
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-15)We give a characterization theorem for multiple-conclusion consequence relations with the conjunctive reading of conclusions. As in the case of disjunctive multiple-conclusion consequence relations, we define consequence ... -
The Amalgamation Property in the Variety of Regular Double Stone Algebras: A Constructive View
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)In this paper we give a constructive proof that the variety of Boolean algebras has the strong amalgamation property by describing constructively the strong amalgams in the variety. Then, capitalizing on this construction, ... -
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms ...