Explicit algebraic models for constructive and classical theories with non-standard elements

DOI10.1007/BF01053031zbMath0923.03079MaRDI QIDQ1896754

Albert G. Dragalin

Publication date: 28 October 1999

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

constructive logicclassical logicalgebraic modelsfinitistic notion of truetheories with nonstandard elementstruth-value algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Nonstandard models (03H99)

Related Items

Saturated models of universal theories

Cites Work

• Completeness and cut-elimination theorems for high-order classical logic. Constructive method
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item