## Found 135 Documents (Results 1–100)

100
MathJax

Full Text:

### Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. (English)Zbl 1477.03028

MSC:  03B20 03D15
Full Text:

### A basic quasi-Boolean logic of intuitionistic character. (English)Zbl 1486.03044

MSC:  03B47 03B20 03B50
Full Text:

### Perceptibility in pre-Heyting logics. (English)Zbl 1443.03016

MSC:  03B53 03B45
Full Text:

MSC:  03B20
Full Text:

### Unification in superintuitionistic predicate logics and its applications. (English)Zbl 07063881

MSC:  03B55 03B35 03G25
Full Text:

### 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).
Full Text:

### 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

### Hereditarily structurally complete superintuitionistic deductive systems. (English)Zbl 1439.03067

MSC:  03B55 03B20
Full Text:

### Cut-free sequent calculi for logics characterized by finite linear Kripke frames. (English)Zbl 07570065

MSC:  03F05 03B20
Full Text:

MSC:  03B20
Full Text:

### Locally finite reducts of Heyting algebras and canonical formulas. (English)Zbl 1417.03198

MSC:  03B55 06D20
Full Text:

### LC and its pretabular relatives. (English)Zbl 1439.03051

Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 81-91 (2016).
MSC:  03B47 03B20 03B45
Full Text:

### On the number of variables in undecidable superintuitionistic propositional calculi. (English)Zbl 1405.03025

MSC:  03B20 03B05 03B25
Full Text:

### New constants in pretabular superintuitionistic logics: P. Novikov’s approach. (Russian. English summary)Zbl 1396.03068

MSC:  03B55 03B60 03B20
Full Text:

Full Text:

### Proof theory of witnessed Gödel logic: a negative result. (English)Zbl 1444.03016

MSC:  03B40 03B20 03F03
Full Text:

### A new constant in superintuitionistic logic L3. (English. Russian original)Zbl 1328.03007

Algebra Logic 54, No. 1, 23-35 (2015); translation from Algebra Logika 54, No. 1, 34-52 (2015).
MSC:  03B55
Full Text:

### Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi. (English)Zbl 1337.03020

MSC:  03B25 03B20 03B05
Full Text:

### Axiomatics of P. S. Novikov complete extensions of the superintuitionistic logic $$L2$$ in the language containing an additional constant. (Russian. English summary)Zbl 1299.03027

MSC:  03B55 03B60
Full Text:

### Extensions of Priest-da Costa logic. (English)Zbl 1329.03063

MSC:  03B53 03B20 03B55
Full Text:

### New constants in the superintuitionistic logic L2. (English. Russian original)Zbl 1331.03027

Math. Notes 94, No. 6, 938-950 (2013); translation from Mat. Zametki 94, No. 6, 918-932 (2013).
MSC:  03B55
Full Text:

### The degree structure of Weihrauch-reducibility. (English)Zbl 1271.03057

MSC:  03D30 03B55 03D78
Full Text:

### Gödel homomorphisms as Gödel modal operators. (English)Zbl 1280.03030

MSC:  03B52 03B45 03B55
Full Text:

### 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

Full Text:

### 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

### Metalogic of intuitionistic propositional calculus. (English)Zbl 1215.03041

MSC:  03B55 03B45 06D20
Full Text:

### Problem of restricted interpolation in superintuitionistic and some modal logics. (English)Zbl 1203.03035

MSC:  03B55 03B45 03C40
Full Text:

### Table admissible inference rules. (English. Russian original)Zbl 1241.03034

Algebra Logic 48, No. 3, 228-236 (2009); translation from Algebra Logika 48, No. 3, 400-414 (2009).
MSC:  03B55
Full Text:

### Restricted interpolation property in superintuitionistic logics. (English. Russian original)Zbl 1241.03031

Algebra Logic 48, No. 1, 33-53 (2009); translation from Algebra Logika 48, No. 1, 54-89 (2009).
MSC:  03B55 03B45 03C40
Full Text:

### Quantification in nonclassical logic. Volume I. (English)Zbl 1211.03002

Studies in Logic and the Foundations of Mathematics 153. Amsterdam: Elsevier (ISBN 978-0-444-52012-8/hbk). xxiv, 615 p. (2009).
MSC:  03-02 03B45 03B55
Full Text:

### 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
Full Text:

### Bases of admissible rules for $$K$$-saturated logics. (English. Russian original)Zbl 1241.03033

Algebra Logic 47, No. 6, 420-425 (2008); translation from Algebra Logika 47, No. 6, 750-761 (2008).
MSC:  03B55 03B45
Full Text:

### On the simple substitution property for superintuitionistic and modal propositional logics. (English. Russian original)Zbl 1269.03026

Dokl. Math. 78, No. 3, 923-924 (2008); translation from Dokl. Akad. Nauk., Ross. Akad. Nauk. 423, No. 6, 740-742 (2008).
MSC:  03B45 03B55
Full Text:

### SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics. (English)Zbl 1249.03005

MSC:  03B35 03B55 03B70 68Q60 68T15

Full Text:

### The projective Beth property and interpolation in positive and related logics. (Russian, English)Zbl 1119.03026

Algebra Logika 45, No. 1, 85-113 (2006); translation in Algebra Logic 45, No. 1, 49-66 (2006).
Full Text:

### Willem Blok and modal logic. (English)Zbl 1105.03020

MSC:  03B45 03B55 03-03
Full Text:

### Definability in normal extensions of S4. (Russian, English)Zbl 1115.03018

Algebra Logika 43, No. 4, 387-410 (2004); translation in Algebra Logic 43, No. 4, 217-229 (2004).
MSC:  03B55 03B45
Full Text:

MSC:  03F05

### 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

### 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
Full Text:

Full Text:

### A(nother) characterization of intuitionistic propositional logic. (English)Zbl 0988.03045

MSC:  03B55 03B20 03F50
Full Text:

### Restricting the contraction axiom in Dummett’s LC: A sublogic of LC with the converse Ackermann property, the logic $$\text{LC}^o$$. (English)Zbl 1037.03007

MSC:  03B20 03B55

### Algebraic counterparts for some properties of superintuitionistic predicate logics. (Russian, English)Zbl 0983.03019

Algebra Logika 40, No. 2, 218-242 (2001); translation in Algebra Logic 40, No. 2, 122-134 (2001).
MSC:  03B55 03G25
Full Text:

### On the property of simple substitution for superintuitionistic propositional logics. (English. Russian original)Zbl 1041.03022

Dokl. Math. 62, No. 2, 213-215 (2000); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 374, No. 3, 318-320 (2000).
MSC:  03B55

### Unification and passive inference rules for modal logics. (English)Zbl 1040.03014

MSC:  03B45 03B55 03B35
Full Text:

### On applied theories with superintuitionistic logics. (Russian. English summary)Zbl 0980.03029

Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 72-79 (2000).
MSC:  03B55

### 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
Full Text:

### Intuitionistic logic and implicit definability. (English)Zbl 0963.03044

MSC:  03B55 06D20
Full Text:

### On self-admissible quasi-characterizing inference rules. (English)Zbl 0969.03032

MSC:  03B45 03B55
Full Text:

### 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
Full Text:

### Superintuitionistic logics and the projective Beth property. (English. Russian original)Zbl 0965.03037

Algebra Logika 38, No. 6, 680-696 (1999); translation in Algebra Logic 38, No. 6, 374-382 (1999).
MSC:  03B55
Full Text:

MSC:  03B55

### Projective Beth properties in modal and superintuitionistic logics. (English. Russian original)Zbl 0930.03018

Algebra Logika 38, No. 3, 316-333 (1999); translation in Algebra Logic 38, No. 3, 171-180 (1999).
Full Text:

### Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. (English)Zbl 0938.03042

MSC:  03B55 03F05
Full Text:

### 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).
Full Text:

### Independent bases for rules admissible in pretabular logics. (English)Zbl 0956.03024

MSC:  03B45 03B55 03C15
Full Text:

### Description of self-admissible quasi-characterizing inference rules. (English)Zbl 0973.03509

MSC:  03B45 03B55

Full Text:

### 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).

### 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

### 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

### Interpolation in superintuitionistic predicate logics with equality. (English. Russian original)Zbl 0969.03044

Algebra Logika 36, No. 5, 543-561 (1997); translation in Algebra Logic 36, No. 5, 319-329 (1997).
MSC:  03B55 03C40
Full Text:

### The relation between intuitionistic and classical modal logics. (English. Russian original)Zbl 0937.03033

Algebra Logika 36, No. 2, 121-155 (1997); translation in Algebra Logic 36, No. 2, 73-92 (1997).
MSC:  03B55 03B45 03B20

### Superintuitionistic companions of classical modal logics. (English)Zbl 0952.03020

MSC:  03B45 03B55
Full Text:

### Modal logic. (English)Zbl 0871.03007

Oxford Logic Guides. 35. Oxford: Clarendon Press. xv, 605 p. (1997).
Reviewer: L.F.Goble (Salem)

MSC:  03B55

Full Text:

MSC:  03B55
Full Text:

### On variable separation in modal and superintuitionistic logics. (English)Zbl 0840.03017

MSC:  03B55 03B45
Full Text:

### On variable separation in modal logics. (English)Zbl 0819.03013

MSC:  03B45 03G25 03B55

Full Text:

### On some interpretations of classical logic. (English)Zbl 0794.03011

MSC:  03B20 03B55
Full Text:

### The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC. (English. Russian original)Zbl 0795.03017

Algebra Logic 31, No. 4, 205-216 (1992); translation from Algebra Logika 31, No. 4, 341-359 (1992).
MSC:  03B25 03B45 03B55
Full Text:

### Continuality of the set of maximal superintuitionistic logics with the disjunction property. (English. Russian original)Zbl 0795.03030

Math. Notes 51, No. 2, 188-193 (1992); translation from Mat. Zametki 51, No. 2, 117-123 (1992).
MSC:  03B55
Full Text:

### Cut-free systems for some modal logics containing S4. (English)Zbl 0782.03007

Reviewer: G.Mints (Stanford)
MSC:  03B45 03F05 03B55

### On representation of finite pseudo-Boolean algebras and one of its applications. (English. Russian original)Zbl 0787.03059

Math. Notes 52, No. 2, 844-851 (1992); translation from Mat. Zametki 52, No. 2, 127-137 (1992).
Full Text:

### Some modifications of the Gödel translation of classical intuitionistic logic. (English)Zbl 0712.03004

Reviewer: V.Shekhtman
MSC:  03B20 03B55 03B10

### Modal companions of superintuitionistic logics: Syntax, semantics, and preservation theorems. (English. Russian original)Zbl 0709.03017

Math. USSR, Sb. 68, No. 1, 277-289 (1990); translation from Mat. Sb. 180, No. 10, 1415-1427 (1989).
MSC:  03B45 03B55
Full Text:

### 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).

### Syntax and semantics of superintuitionistic logics. (English. Russian original)Zbl 0708.03011

Algebra Logic 28, No. 4, 262-282 (1989); translation from Algebra Logika 28, No. 4, 402-429 (1989).
Reviewer: V.V.Rybakov
MSC:  03B55 03B45
Full Text:

### Modal companions of superintuitionistic logics: Syntax, semantics and preservation theorems. (Russian)Zbl 0686.03011

Reviewer: G.Mints
MSC:  03B45 03B55
Full Text:

### Constructive theories with abstract data types for program synthesis. (English)Zbl 0699.03013

Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 293-302 (1987).
MSC:  03B70 68N01

### Disjunctive property of superintuitionist and modal logics. (English. Russian original)Zbl 0655.03010

Math. Notes 42, No. 5, 901-905 (1987); translation from Mat. Zametki 42, No. 5, 729-738 (1987).
MSC:  03B55 03B45
Full Text:

### The main problems of expressibility of formulas in nonclassical logics. (Russian)Zbl 0652.03014

Reviewer: Z.Stachniak
MSC:  03B55 03B20 03B45
Full Text:

### On a disjunction property of superintuitionistic and modal logics. (Russian)Zbl 0642.03015

Reviewer: O.Štěpánková
MSC:  03B55 03B45

all top 5

all top 5

all top 3