scientific article; zbMATH DE number 3855057

MaRDI QIDQ3323916zbMATH OpenFDO

Authors Alfons Grieder

Publication date 1983

zbMATH Keywords

linear correspondencespredicate logicsyllogismstruth-functiontruth-tables

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Algebraic logic (03G99)

Recommendations

• On bases of many-valued truth functions
• A new symbolic representation of the basic truth-functions of the propositional calculus
• First-order logic and first-order functions
• scientific article; zbMATH DE number 3173697
• scientific article; zbMATH DE number 4023238

Cited in

(10)

• Infinite truth-functional logic
• Complex predicates and logics for properties and relations
• Note on the scope of truth-functional logic
• scientific article; zbMATH DE number 3871313 (Why is no real title available?)
• scientific article; zbMATH DE number 4023238 (Why is no real title available?)
• A new symbolic representation of the basic truth-functions of the propositional calculus
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• First-order logic and first-order functions
• An approach to analysis of the set of truth: unlocking of predicate
• Tabular Notations

This page was built for publication:

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