Subject-predicate calculus free from existential import

DOI10.1007/BF01063841zbMATH Open0552.03006MaRDI QIDQ800907FDOQ800907

Authors: V. A. Bocharov 

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

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

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)

Cites Work

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

Cited In (7)

• Some monkey devours every raisin
• A free logic with simple and complex predicates
• Free logic and the concept of existence
• Title not available (Why is that?)
• Semantic presuppositions in logical syntax
• Title not available (Why is that?)
• Predication in the logic of terms

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)