scientific article; zbMATH DE number 3619844

MaRDI QIDQ4182465zbMATH OpenFDO

Authors Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Publication date 1978

zbMATH Keywords

First Order TheoriesMathematical LogicSemanticsSyntax

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) General logic (03B99)

Cited in

(6)

• Implication of clauses is undecidable
• Combinations of tense and modality for predicate logic
• Accelerating tableaux proofs using compact representations
• A feature-based syntax/semantics interface
• A clonoid based approach to some finiteness results in universal algebraic geometry
• Maximale monadische Logiken

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