scientific article; zbMATH DE number 935103

MaRDI QIDQ4895482zbMATH OpenFDO

Authors Mircea Reghiș, E. Roventa

Publication date 13 January 1997

zbMATH Keywords

interpretationBoolean algebrapredicate logic

Mathematics Subject Classification ID

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

Recommendations

• Quantifiers determined by partial orderings
• Ordinal definability and combinatorics of equivalence relations
• Hierarchies of Partially Ordered Connectives and Quantifiers
• Proof-theoretical analysis of order relations
• Relativized logspace and generalized quantifiers over finite ordered structures
• On decidability and axiomatizability of some ordered structures
• scientific article; zbMATH DE number 475609
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Completeness and definability of a modal logic interpreted over iterated strict partial orders
• Counting quantifiers, successor relations, and logarithmic space

Cited in

(2)

• scientific article; zbMATH DE number 1163952 (Why is no real title available?)
• scientific article; zbMATH DE number 5582998 (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 Q4895482)