Subject-predicate calculus free from existential import
From MaRDI portal
Publication:800907
DOI10.1007/BF01063841zbMath0552.03006MaRDI QIDQ800907
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
Aristotle's syllogisticsfree logicsimpossible objectssubject-predicate calculisystems of natural deduction
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
This page was built for publication: Subject-predicate calculus free from existential import