Deductive Completeness

DOI10.2307/420991MaRDI QIDQ5689262zbMATH OpenOpenAlexFDO

Authors Kosta Došen

Publication date 26 January 1997

Published in The 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

combinatory logicmodal logicsubstructural logicsintuitionistic propositional logicdeduction theoremLambek's functional completeness theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970632
• Implicative logics, Lambek systems and exponential multicategories
• Modal logic as metalogic

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3348059 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Functional completeness of cartesian categories
• 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

Cited in

(8)

• Proving completeness by logic
• Composition of deductions within the propositions-as-types paradigm
• Inferential Semantics
• Models of deduction
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• scientific article; zbMATH DE number 2015278 (Why is no real title available?)
• Presuppositional completeness
• The Deduction Theorem (Before and After Herbrand)

This page was built for publication: Deductive Completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5689262)