Výsledky vyhledávání

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property

Autor: Gabbay, D. M., De Jongh, D. H. J.

Publikováno v: The Journal of Symbolic Logic, 1974 Mar 01. 39(1), 67-78.

Externí odkaz: https://www.jstor.org/stable/2272344

Zobrazit plný text záznamu

Binary Modal Companions for Subintuitionistic Logics

Autor: de Jongh, D., Shirmohammadzadeh Maleki, F., Mojtahedi, M., Rahman, S., Zarepour, M.S.

Publikováno v: Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, 35-52
STARTPAGE=35;ENDPAGE=52;TITLE=Mathematics, Logic, and their Philosophies
Logic, Epistemology, and the Unity of Science ISBN: 9783030536534

The weak subintuitionistic logic WF, for which no standard unary modal companion is known, is found to have a strict implication logic as its binary modal companion. It is also shown that for all modal logics extending the weak logic EN, classical mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e6711c73bebed157ad7e068dd1fd3c3
https://dare.uva.nl/personal/pure/en/publications/binary-modal-companions-for-subintuitionistic-logics(143b46ff-b9b3-4515-ae65-67d2896c6bb8).html

Zobrazit plný text záznamu

A Study of Subminimal Logics of Negation and their Modal Companions

Autor: Bezhanishvili, N., Colacito, A., de Jongh, D., Silva, A., Staton, S., Sutton, P., Umbach, C.

Publikováno v: Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers, 21-41
STARTPAGE=21;ENDPAGE=41;TITLE=Language, Logic, and Computation
Lecture Notes in Computer Science ISBN: 9783662595640
TbiLLC

We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use duality and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::065da1640da0feeaecc56002d704e576
http://arxiv.org/abs/2002.11518

Zobrazit plný text záznamu

Two Neighborhood Semantics for Subintuitionistic Logics

Autor: de Jongh, D., Shirmohammadzadeh Maleki, F., Silva, A., Staton, S., Sutton, P., Umbach, C.

Publikováno v: Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers, 64-85
STARTPAGE=64;ENDPAGE=85;TITLE=Language, Logic, and Computation
Lecture Notes in Computer Science ISBN: 9783662595640
TbiLLC

This investigation is concerned with weak subintuitionistic logics interpreted over neighborhood models introduced by the authors in 2016. The two types of neighborhood semantics introduced in that article are compared and their relationship is clari

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de73e196bab239e650f7daec03494125
https://dare.uva.nl/personal/pure/en/publications/two-neighborhood-semantics-for-subintuitionistic-logics(6e374f36-dd00-4530-b501-b667ea117c68).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání