Validity in Simple Partial Logic

DOI10.4288/JAFPOS1956.10.139MaRDI QIDQ4796941zbMATH OpenOpenAlexFDO

Authors Daisuke Kachi

Publication date 13 March 2003

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.10.139

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 1163565
• scientific article; zbMATH DE number 1163568
• A first order logic for partial functions (extended abstract)
• scientific article; zbMATH DE number 3837994
• scientific article; zbMATH DE number 1790411

Cited in

(4)

• ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY
• Validity Measurement in Some Propositional Logics
• Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Validity in Simple Partial Logic

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