scientific article; zbMATH DE number 2152692

MaRDI QIDQ4664260zbMATH OpenFDO

Authors Rostislav E. Yavorsky

Publication date 5 April 2005

zbMATH Keywords

first-order logic of a theory

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 1114358
• scientific article; zbMATH DE number 1567806
• scientific article; zbMATH DE number 1278449
• scientific article; zbMATH DE number 5863196
• A first-order logic with no logical constants

Cited in

(12)

• Predicate logics of decidable fragments of arithmetic
• Interpreting first-order theories into a logic of records
• Languages of logic and their applications
• On first-order theories which can be represented by definitions
• Notes on models of first-order mereological theories
• Bases for first-order theories and subtheories
• scientific article; zbMATH DE number 1114358 (Why is no real title available?)
• scientific article; zbMATH DE number 1567806 (Why is no real title available?)
• scientific article; zbMATH DE number 1822172 (Why is no real title available?)
• The theory of form logic
• First-person logical theories and third-person logical theories
• On some applied first-order theories which can be represented by definitions

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