scientific article; zbMATH DE number 432735

MaRDI QIDQ3138862zbMATH OpenFDO

Authors Isidore Fleischer

Publication date 21 August 1994

zbMATH Keywords

closure operatorsformalization of predicate calculusfree Boolean algebra with extrema for the subsets of variable renamingGödel completeness theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logical aspects of Boolean algebras (03G05)

Recommendations

• A finitely axiomatized formalization of predicate calculus with equality
• Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
• A Free Variable Version of the First-Order Predicate Calculus
• Calculus of standard quantor formulas
• scientific article; zbMATH DE number 2231185

Cited in

(12)

• Calculus of standard quantor formulas
• The Boolean solution problem from the perspective of predicate logic
• A formalisation of consistent consequence for Boolean equation systems
• A finitely axiomatized formalization of predicate calculus with equality
• A theorem prover for Boolean BI
• Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
• scientific article; zbMATH DE number 3931003 (Why is no real title available?)
• A Free Variable Version of the First-Order Predicate Calculus
• scientific article; zbMATH DE number 2015281 (Why is no real title available?)
• scientific article; zbMATH DE number 4195935 (Why is no real title available?)
• Automata, Languages and Programming
• scientific article; zbMATH DE number 3316863 (Why is no real title available?)

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 Q3138862)