scientific article; zbMATH DE number 6379368

MaRDI QIDQ2933402zbMATH OpenFDO

Authors M. S. Nikitchenko, S. S. Shkil'nyak

Publication date 10 December 2014

zbMATH Keywords

quantifierquasiary predicatessemantic model

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70)

Recommendations

• V-singular semantic models of first-order logics
• scientific article; zbMATH DE number 1696787
• scientific article; zbMATH DE number 218502
• Semigroups underlying first-order logic
• scientific article; zbMATH DE number 67794
• scientific article; zbMATH DE number 3963803
• Axiomatization of a Denotational Semantics for First-order Logic
• scientific article; zbMATH DE number 1515324
• Semantics for first-order superposition logic
• scientific article; zbMATH DE number 3938561

Cited in

(2)

• First order logic with empty structures
• V-singular semantic models of first-order logics

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