Constructing a normal form for Property Theory

DOI10.1007/3-540-63104-6_22zbMath1430.68396OpenAlexW1519532391MaRDI QIDQ5234704

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

normal formtruth predicateproperty theoryatomic formularevision process

Mathematics Subject Classification ID

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

Uses Software

• SATCHMO

Cites Work

• Unnamed Item
• Notes on naive semantics
• SATCHMORE: SATCHMO with RElevancy
• Truth, modality and intersubjectivity

This page was built for publication: Constructing a normal form for Property Theory