On Syntax and Semantics of Propositional Logic

Abstract

Syntax and semantics of Propositional Logic are conventionally regarded as two distinct notions. We consider solely one notion, syntax, based on syntactic description of semantics of a 3CNF Boolean formula, generated via the Tseytin transformation. We use this novel approach to determine a sufficient condition for unsatisfiability.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Logics and algebras for multiple players.Loes Olde Loohuis & Yde Venema - 2010 - Review of Symbolic Logic 3 (3):485-519.
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Algebraic and topological semantics for inquisitive logic via choice-free duality.Nick Bezhanishvili, Gianluca Grilletti & Wesley H. Holliday - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz, Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541. Springer. pp. 35-52.
The higher dimensional propositional calculus.A. Bucciarelli, P.-L. Curien, A. Ledda, F. Paoli & A. Salibra - forthcoming - Logic Journal of the IGPL.
About Logically Probable Sentences.Adam Olszewski - 2024 - Bulletin of the Section of Logic 53 (3):365-397.
Fractional semantics for classical logic.Mario Piazza & Gabriele Pulcini - 2020 - Review of Symbolic Logic 13 (4):810-828.
On Quantified Modal Logic.Melvin Fitting - unknown

Analytics

Added to PP
2025-02-26

Downloads
23 (#1,019,869)

6 months
23 (#134,941)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references