A complete and consistent formal system for sortals

DOI10.1023/A:1005239914821MaRDI QIDQ1591344zbMATH OpenOpenAlexFDO

Authors Max A. Freund

Publication date 19 December 2000

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005239914821

zbMATH Keywords

conceptualismsemantics for sortalssortal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Logic of natural languages (03B65)

Recommendations

• Complete formal systems for equivalence problems
• scientific article; zbMATH DE number 3970817
• On Uniformly Constructive and Semiconstructive Formal Systems
• A new system of proof-theoretic ordinal functions
• Formal systems of constructive mathematics
• Ordinal theory for expressiveness of well structured transition systems
• On the order-theoretic properties of lower concept formula systems
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Ordinal theory for expressiveness of well-structured transition systems
• A complete logical system for the equality of recursive terms for sets

Cited in

(3)

• A modal sortal logic
• A two dimensional tense-modal sortal logic
• Formal Systems for Tuple and Equality Generating Dependencies

This page was built for publication: A complete and consistent formal system for sortals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591344)