×

Found 135 Documents (Results 1–100)

100
MathJax

Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. (English) Zbl 1436.06001

Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete. (English) Zbl 1418.03132

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 577-590 (2018).
MSC:  03B55 03B20
PDF BibTeX XML Cite

A remark on a peculiarity in the functor semantics for superintuitionistic predicate logics with (or without) equality. (English) Zbl 1291.03043

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 483-493 (2012).
MSC:  03B55 03G30
PDF BibTeX XML Cite

A remark on propositional Kripke frames sound for intuitionistic logics. (English) Zbl 1254.03017

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 392-410 (2010).
MSC:  03B20 03B55
PDF BibTeX XML Cite

Phenomenology as a criterion for formalism choice. (English) Zbl 1180.03006

Seising, Rudolf (ed.), Views on fuzzy sets and systems from different perspectives. Philosophy and logic, criticisms and applications. Berlin: Springer (ISBN 978-3-540-93801-9/hbk; 978-3-540-93802-6/ebook). Studies in Fuzziness and Soft Computing 243, 99-114 (2009).
MSC:  03A05 03B55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Variants of realizability for propositional formulas and the logic of weak excluded middle. (English. Russian original) Zbl 1079.03016

Proc. Steklov Inst. Math. 242, 67-85 (2003); translation from Tr. Mat. Inst. Im. V. A. Steklova 242, 77-97 (2003).
MSC:  03B55 03B20 68Q30
PDF BibTeX XML Cite

Variants of realizability for propositional formulas and the logic of the weak law of excluded middle. (English) Zbl 1020.03022

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 74-88 (2002).
MSC:  03B55 68Q30 03B20
PDF BibTeX XML Cite
Full Text: Link

Describing a basis in semireduced form for inference rules of intuitionistic logic. (English. Russian original) Zbl 0973.03009

Algebra Logika 39, No. 6, 720-740 (2000); translation in Algebra Logic 39, No. 6, 412-422 (2000).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: EuDML

Independent bases for rules admissible in pretable logics. (English. Russian original) Zbl 0953.03032

Algebra Logika 39, No. 2, 206-226 (2000); translation in Algebra Logic 39, No. 2, 119-130 (2000).
MSC:  03B60 03B45 03B55
PDF BibTeX XML Cite
Full Text: EuDML

Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics. (English) Zbl 0931.03042

Niwiński, Damian (ed.) et al., Logic, algebra, and computer science. Helena Rasiowa in memoriam. Warszawa: Polish Academy of Sciences, Institute of Mathematics, Banach Cent. Publ. 46, 159-168 (1999).
PDF BibTeX XML Cite
Full Text: EuDML

Explicit and implicit definability of modal, superintuitionistic, and relevant logics. (Russian. English summary) Zbl 0926.03040

Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 53-60 (1998).
PDF BibTeX XML Cite

Duality in superintuitionistic and modal predicate logics. (English) Zbl 0909.03025

Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 223-236 (1998).
MSC:  03B45 03B55
PDF BibTeX XML Cite

Interpolation in superintuitionistic and modal predicate logics with equality. (English) Zbl 0914.03025

Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 133-140 (1998).
MSC:  03B45 03B55
PDF BibTeX XML Cite

Semantics of non-classical first order predicate logics. (English) Zbl 0788.03022

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference