Facet browsing currently unavailable
Page 2 of 3333 results
Sort by: relevance publication year
Parallel action: Concurrent dynamic logic with independent modalities JOURNAL ARTICLE published 1992 in Studia Logica |
On modal logic with an intuitionistic base JOURNAL ARTICLE published September 1977 in Studia Logica |
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism JOURNAL ARTICLE published June 2020 in Studia Logica |
Paraconsistency in Categories: Case of Relevance Logic JOURNAL ARTICLE published August 2011 in Studia Logica |
Semi De Morgan Logic Properly Displayed JOURNAL ARTICLE published February 2021 in Studia Logica Research funded by NWO vidi grant (016.138.314) | NWO Aspasia grant (015.008.054) | The Fundamental Research Funds of Shandong University (11090079614065) |
Pragmatyczne uzasadnienie zawodnych sposobów wnioskowania JOURNAL ARTICLE published December 1962 in Studia Logica |
Constructing denumerable matrices strongly adequate for pre-finite logics JOURNAL ARTICLE published December 1974 in Studia Logica |
О Понятии аналитического предложения JOURNAL ARTICLE published December 1963 in Studia Logica |
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety JOURNAL ARTICLE published December 1989 in Studia Logica |
The intrinsic difficulty of recursive functions JOURNAL ARTICLE published May 1996 in Studia Logica |
O równoważnych teoriach algebr z relacjami JOURNAL ARTICLE published December 1972 in Studia Logica |
Исключение связанных переменных в логике с произвольным квантором JOURNAL ARTICLE published December 1973 in Studia Logica |
Normal and non-normal classes in natural language JOURNAL ARTICLE published December 1966 in Studia Logica |
Some theorems on the smallest sets closed under the classes of relations and their generalizations. I JOURNAL ARTICLE published December 1971 in Studia Logica |
Основные свойства дедуктивных систем, основанных на неклассических системах логики. Ч. II. JOURNAL ARTICLE published December 1960 in Studia Logica |
Automated theorem proving for non-classical logics JOURNAL ARTICLE published 1993 in Studia Logica |
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL JOURNAL ARTICLE published December 2015 in Studia Logica |
JOURNAL ARTICLE published 1999 in Studia Logica |
Przykłady ultraproduktów JOURNAL ARTICLE published December 1969 in Studia Logica |
An approach to logical calculus JOURNAL ARTICLE published December 1972 in Studia Logica |