Deductive Completeness

DOI10.2307/420991zbMath0858.03063OpenAlexW4246162295MaRDI QIDQ5689262

Kosta Došen

Publication date: 26 January 1997

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0203-toc.htm

zbMATH Keywords

modal logicdeduction theoremsubstructural logicsintuitionistic propositional logiccombinatory logicLambek's functional completeness theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Composition of deductions within the propositions-as-types paradigm ⋮ Models of deduction ⋮ Inferential Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• Untersuchungen über das logische Schliessen. II
• Functional completeness of cartesian categories

This page was built for publication: Deductive Completeness