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, ...

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, ...

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 ...

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 ...

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 ...