Deductive Completeness

DOI10.2307/420991zbMATH Open0858.03063OpenAlexW4246162295MaRDI QIDQ5689262FDOQ5689262

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

Recommendations

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functional completeness of cartesian categories
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• Title not available (Why is that?)

Cited In (8)

• Composition of deductions within the propositions-as-types paradigm
• Models of deduction
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Proving completeness by logic
• Inferential Semantics
• Title not available (Why is that?)
• The Deduction Theorem (Before and After Herbrand)
• Presuppositional completeness

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)