Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Logic and Logical Philosophy

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: variable-sharing property

Sortuj według:

Ogranicz wyniki do:

A modal restriction of R-Mingle with the variable-sharing property

100%

Robles G. , Méndez J. M. , Salto F.

nr 4

341–351

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

A Class of Simpler Logical Matrices for the Variable-Sharing Property

100%

Robles G. , Méndez J. M.

tom 20

nr 3

241-249

In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′ serving the same purpose that RMLs, to wit: any logic verified by an RML′ has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.