scientific article

zbMATH Open0793.03069MaRDI QIDQ3138862

Isidore Fleischer

Publication date: 21 August 1994

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

zbMATH Keywords

closure operatorsGödel completeness theoremformalization of predicate calculusfree Boolean algebra with extrema for the subsets of variable renaming

Mathematics Subject Classification ID

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

Related Items (6)

Title not available (Why is that?) ⋮ A theorem prover for Boolean BI ⋮ Title not available (Why is that?) ⋮ The Boolean solution problem from the perspective of predicate logic ⋮ A formalisation of consistent consequence for Boolean equation systems ⋮ Automata, Languages and Programming

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)