Constructing a normal form for property theory

DOI10.1007/3-540-63104-6_22MaRDI QIDQ5234704zbMATH OpenOpenAlexFDO

Authors Mary Cryan, Allan Ramsay

Publication date 1 October 2019

Published in Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63104-6_22

zbMATH Keywords

atomic formulanormal formproperty theoryrevision processtruth predicate

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic of natural languages (03B65) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Theorem proving for intensional logic
• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
• A theory of properties
• scientific article; zbMATH DE number 2152239
• Property theory and the revision theory of definitions

Cites work

• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• Notes on naive semantics
• SATCHMORE: SATCHMO with RElevancy
• Truth, modality and intersubjectivity

Cited in

(1)

• Theorem proving for intensional logic

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: Constructing a normal form for property theory

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