scientific article; zbMATH DE number 3855057

zbMATH Open0538.03007MaRDI QIDQ3323916FDOQ3323916

Authors: Alfons Grieder 

Publication date: 1983

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

predicate logictruth-tablessyllogismstruth-functionlinear correspondences

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinite truth-functional logic
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• Tabular Notations
• First-order logic and first-order functions
• An approach to analysis of the set of truth: unlocking of predicate
• A new symbolic representation of the basic truth-functions of the propositional calculus

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)