A Canonical Model for Constant Domain Basic First-Order Logic

A Canonical Model for Constant Domain Basic First-Order Logic

I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2020-12, Vol.108 (6), p.1307-1323
1. Verfasser: Middleton, Ben
Format: Artikel
Sprache:eng
Schlagworte:
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-020-09900-7