Partial monotonic protothetics

DOI10.1023/A:1026705214659MaRDI QIDQ1840652zbMATHFDO

Authors François Lepage

Publication date 9 November 2001

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenesssaturated setspartial interpretationpropositional typesprotothetics

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• Definitions: the primitive concept of logics or The Leśniewski–Tarski legacy
• Truth, partial logic and infinitary proof systems
• A partial functions version of Church's simple theory of types
• scientific article; zbMATH DE number 1163568
• Publication:4943268

Cited in

(5)

• Probabilistic canonical models for partial logics
• scientific article; zbMATH DE number 1416050 (Why is no real title available?)
• scientific article; zbMATH DE number 4110683 (Why is no real title available?)
• Litotes and downward monotonicity
• Definitions: the primitive concept of logics or The Leśniewski–Tarski legacy

This page was built for publication: Partial monotonic protothetics

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