A note on infinitary continuous logic

Mathematical Logic Quarterly 61 (6):448-457 (2015)
  Copy   BIBTEX

Abstract

We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201400077

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

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

Through your library

My notes

Similar books and articles

The eal truth.Stefano Baratella & Domenico Zambella - 2015 - Mathematical Logic Quarterly 61 (1-2):32-44.
Continuous propositional modal logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.
A completeness theorem for continuous predicate modal logic.Stefano Baratella - 2019 - Archive for Mathematical Logic 58 (1-2):183-201.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
An infinitary propositional probability logic.Stefano Baratella - 2023 - Archive for Mathematical Logic 62 (3):291-320.
Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.

Analytics

Added to PP
2015-12-02

Downloads
18 (#1,119,623)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuous propositional modal logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.

Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
Sequential Calculus for a First Order Infinitary Temporal Logic.Hiroya Kawai - 1987 - Mathematical Logic Quarterly 33 (5):423-432.

Add more references