Partial monotonic protothetics

DOI10.1023/A:1026705214659zbMATH Open0972.03010MaRDI QIDQ1840652FDOQ1840652

Authors: François Lepage 

Publication date: 9 November 2001

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

completenesssaturated setspartial interpretationpropositional typesprotothetics

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (5)

• Title not available (Why is that?)
• Litotes and downward monotonicity
• Probabilistic canonical models for partial logics
• Title not available (Why is that?)
• 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)