A system of predicate logic with trans-atomic units

DOI10.1305/NDJFL/1093637564MaRDI QIDQ1094409zbMATH OpenOpenAlexFDO

Authors Richard Butrick

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637564

zbMATH Keywords

completenesspartial connectivestransatomic units

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Review text

The paper explains how to go beyond the limitation to 16 basic connectives in standard predicate logic by imbedding partial connectives in transatomic units. Such partial connectives can be customized to adhere to some of the semantic properties of total connectives while dispensing with others. The connective `-c' studied in this paper is similar to the material conditional in adhering to Modus Ponens and Modus Tollens but differs from the material conditional in not adhering to Clavius, Duns Scotus, or contraposition. These latter limitations make it an interesting candidate for forming lawlike generalizations.

Recommendations

• Systems of sentence logic with trans-atomic units
• Intuitionistic predicate logic with decidable propositional atoms
• scientific article; zbMATH DE number 3916225
• A translation of intuitionistic predicate logic into basic predicate logic
• scientific article; zbMATH DE number 4142013
• Logic of transition systems
• scientific article; zbMATH DE number 47925
• Transitive Separation Logic
• A predicate logical extension of a subintuitionistic propositional logic

Cited in

(1)

• Systems of sentence logic with trans-atomic units

This page was built for publication: A system of predicate logic with trans-atomic units

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