scientific article; zbMATH DE number 3105203
From MaRDI portal
Publication:5843956
zbMath0063.03220MaRDI QIDQ5843956
Publication date: 1944
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The axioms of constructive geometry ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ A minimal classical sequent calculus free of structural rules ⋮ Combinatorial analysis of proofs in projective and affine geometry ⋮ Proof analysis in intermediate logics ⋮ A decision procedure revisited: Notes on direct logic, linear logic and its implementation ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Proofs and countermodels in non-classical logics ⋮ In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ Inferential Semantics ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ A decidable fragment of predicate calculus
