Set-Theoretic Semantics for Many-Valued Positional Calculi

Roczniki Filozoficzne 68 (4):367-384 (2020)
  Copy   BIBTEX

Abstract

Semantyka teoriomonogościowa dla wielowartościowych rachunków pozycyjnych Celem artykułu jest zdefiniowanie adekwatnych semantyk teoriomonogościowych dla rachunków pozycyjnych.

Categories

Add categories

Keywords

Reprint years

DOI

10.18290/rf20684-17

Links

PhilArchive



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

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

Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
Gaggles, Gentzen and Galois: how to display your favourite substructural logic.R. Gore - 1998 - Logic Journal of the IGPL 6 (5):669-694.
Degrees of maximality of Klukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213-228.
A Semantics For Modal Calculi.J. Ivlev - 1988 - Bulletin of the Section of Logic 17 (3-4):114-121.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Factor semantics forn-valued logics.A. S. Karpenko - 1983 - Studia Logica 42 (2-3):179 - 185.

Analytics

Added to PP
2021-01-06

Downloads
7 (#1,351,854)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anna Karczewska
Katolicki Uniwersytet Lubelski (KUL)

Citations of this work

No citations found.

Add more citations

References found in this work

Logika czasu empirycznego: funktor realizacji czasowej w językach teorii fizykalnych.Marcin Tkaczyk - 2009 - Lublin: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.
Distribution Laws in Weak Positional Logics.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (3):163-179.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.

Add more references