Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  Referential Logics
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

100%
Voutsadakis G.
Bulletin of the Section of Logic
|
2018
|
tom 47
|
nr 2
EN
This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution has a pseudo-referential matrix system semantics. This contrasts with referential matrix system semantics which is only available for self-extensional π-institutions by a previous result of the author obtained as an extension of a classical result of Wójcicki. Finally, it is shown that it is possible to replace an arbitrary pseudoreferential matrix system semantics by a discrete pseudo-referential matrix system semantics.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Categorical Abstract Algebraic Logic: Referential π-Institutions

100%
Voutsadakis G., School of Mathematics and Computer Science L. S. S. U., gvoutsad@lssu.edu
Bulletin of the Section of Logic
|
2015
|
tom 44
|
nr 1-2
EN
Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of arbitrary sentential logics. A well-known theorem of Wójcicki asserts that a logic has a referential semantics if and only if it is selfextensional. Referential semantics was subsequently studied in detail by Malinowski and the concept of selfextensionality has played, more recently, an important role in the field of abstract algebraic logic in connection with the operator approach to algebraizability. We introduce and review some of the basic definitions and results pertaining to the referential semantics of π-institutions, abstracting corresponding results from the realm of propositional logics.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.