Forcing in Łukasiewicz Predicate Logic

, &
Studia Logica 89 (1):111-145 (2008)
  Copy   BIBTEX

Abstract

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-008-9120-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5-20.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.Dmitrij Skvortsov - 2005 - Studia Logica 81 (2):261-282.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Comprehension contradicts to the induction within Łukasiewicz predicate logic.Shunsuke Yatabe - 2009 - Archive for Mathematical Logic 48 (3-4):265-268.
On the existence of continua of logics between some intermediate predicate logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
A Logic is Referential iff it is Selfextensional.Ryszard Wójcicki - 2003 - Studia Logica 73 (3):323-335.
A logic is referential iff it is selfextensional.Ryszard Wójcicki - 2003 - Studia Logica 73 (3):323 - 335.

Analytics

Added to PP
2017-02-21

Downloads
9 (#1,254,017)

6 months
1 (#1,471,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.

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.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.

View all 11 references / Add more references