Subject-predicate calculus free from existential import

DOI10.1007/BF01063841MaRDI QIDQ800907zbMATH OpenFDO

Authors V. A. Bocharov

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Aristotle's syllogisticsfree logicsimpossible objectssubject-predicate calculisystems of natural deduction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Deductive capabilities of negationless predicate calculus
• Existential import and an unnecessary restriction on predicate logics
• Predicate logics without the structure rules
• A Free Variable Version of the First-Order Predicate Calculus
• Free logic and the quantified argument calculus
• Strict Fregean free logic
• Intuitionistic logic freed of all metarules
• A minimal classical sequent calculus free of structural rules
• scientific article; zbMATH DE number 1867301
• The predicative Frege hierarchy

Cites work

• A theory of restricted quantification I
• Quantification theory and empty individual-domains
• Some things do not exist
• Syllogistic without existence

Cited in

(7)

• scientific article; zbMATH DE number 2043996 (Why is no real title available?)
• Predication in the logic of terms
• Some monkey devours every raisin
• A free logic with simple and complex predicates
• Free logic and the concept of existence
• scientific article; zbMATH DE number 1746568 (Why is no real title available?)
• Semantic presuppositions in logical syntax

This page was built for publication: Subject-predicate calculus free from existential import

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