Proof theory for Lax Logic. (English) Zbl 07920711
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 203-229 (2024).
Found 94 Documents (Results 1–94)
On the quantified version of the Belnap-Dunn modal logic. (English. Russian original) Zbl 07891400
Sb. Math. 215, No. 3, 323-354 (2024); translation from Mat. Sb. 215, No. 3, 37-69 (2024).
Pretabularity and Craig’s interpolation problem over the minimal logic. (Russian. English summary) Zbl 07896768
MSC:
03B45
Pretabularity and Craig’s interpolation property. (English. Russian original) Zbl 07849286
Algebra Logic 62, No. 3, 277-282 (2023); translation from Algebra Logika 62, No. 3, 415-423 (2023).
Living without Beth and Craig: definitions and interpolants in description and modal logics with nominals and role inclusions. (English) Zbl 07760995
A Lindström theorem for intuitionistic first-order logic. (English) Zbl 1540.03016
Reviewer: Yaroslav Shramko (Kryvyi Rih)
Conservative expansions of substructural logics. (English) Zbl 1536.03012
Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 339-368 (2022).
Universal algebraic methods for non-classical logics. (English) Zbl 07823888
Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 27-70 (2022).
The lattice NExtS41 as composed of replicas of NExtInt, and beyond. (English) Zbl 1543.03057
Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 177-207 (2022).
The G4i analogue of a G3i sequent calculus. (English) Zbl 07625362
MSC:
03-XX
Lyndon interpolation for modal \(\mu \)-calculus. (English) Zbl 1530.03072
Özgün, Aybüke (ed.) et al., Language, logic, and computation. 13th International Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13206, 197-213 (2022).
MSC:
03B45
Modal bilattice logic and its extensions. (English. Russian original) Zbl 1515.03108
Algebra Logic 60, No. 6, 407-424 (2022); translation from Algebra Logika 60, No. 6, 612-635 (2021).
Algorithms for recognizing restricted interpolation over the modal logic S4. (English. Russian original) Zbl 1530.03081
Sib. Math. J. 63, No. 2, 286-298 (2022); translation from Sib. Mat. Zh. 63, No. 2, 344-359 (2022).
MSC:
03B45
Uniform interpolation from cyclic proofs: the case of modal mu-calculus. (English) Zbl 07532525
Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 335-353 (2021).
MSC:
68V15
Linearly ordered sets with only one operator have the amalgamation property. (English) Zbl 1533.03024
Reviewer: Daniel Max Hoffmann (Warszawa)
Hybrid extensions of the minimal logic. (English. Russian original) Zbl 1534.03036
Sib. Math. J. 62, No. 5, 876-881 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1084-1090 (2021).
Epimorphism surjectivity in varieties of Heyting algebras. (English) Zbl 1457.03055
Reviewer: Alex Citkin (Warren)
Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 1462.03013
Reviewer: Osamu Sonobe (Follonica)
Interpolation in extensions of first-order logic. (English) Zbl 1452.03128
Reviewer: Mario Alviano (Rende)
Epimorphisms, definability and cardinalities. (English) Zbl 1442.03036
Reviewer: James Monk (Boulder)
Through an inference rule, darkly. (English) Zbl 1469.03158
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 131-158 (2019).
The interpolation problem in finite-layered pre-Heyting logics. (English. Russian original) Zbl 1468.03030
Algebra Logic 58, No. 2, 144-157 (2019); translation from Algebra Logika 58, No. 2, 210-228 (2019).
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). (English) Zbl 1457.03057
On algebraisation of superintuitionistic predicate logics. (English) Zbl 1429.03060
Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 297-317 (2018).
Lattice NExtS4 from the embedding theorem viewpoint. (English) Zbl 1429.03085
Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 185-218 (2018).
Decidability of some interpolation properties for weakly transitive modal logics. (English) Zbl 1429.03083
Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 171-183 (2018).
Maksimova, relevance and the study of lattices of non-classical logics. (English) Zbl 1429.01027
Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 1-20 (2018).
Extensions of the minimal logic and the interpolation problem. (English. Russian original) Zbl 1469.03078
Sib. Math. J. 59, No. 4, 681-693 (2018); translation from Sib. Mat. Zh. 59, No. 4, 863-878 (2018).
Multicomponent proof-theoretic method for proving interpolation properties. (English) Zbl 1522.03053
Strong computability of slices over the logic GL. (Russian. English summary) Zbl 1397.03048
A computational glimpse at the Leibniz and Frege hierarchies. (English) Zbl 1391.03045
Reviewer: Jānis Cīrulis (Riga)
Strong decidability and strong recognizability. (English. Russian original) Zbl 1420.03046
Algebra Logic 56, No. 5, 370-385 (2017); translation from Algebra Logika 56, No. 5, 559-581 (2017).
Recognizable and perceptible logics and varieties. (English. Russian original) Zbl 1379.03007
Algebra Logic 56, No. 3, 245-250 (2017); translation from Algebra Logika 56, No. 3, 367-374 (2017).
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness. (English) Zbl 1422.03023
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).
Layers over minimal logic. (English. Russian original) Zbl 1396.03067
Algebra Logic 55, No. 4, 295-305 (2016); translation from Algebra Logika 55, No. 4, 449-464 (2016).
The lattice of Belnapian modal logics: special extensions and counterparts. (English) Zbl 1396.03034
The tabularity problem over the minimal logic. (English. Russian original) Zbl 1420.03024
Sib. Math. J. 57, No. 6, 1034-1043 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1320-1332 (2016).
The structure of slices over minimal logic. (English. Russian original) Zbl 1420.03045
Sib. Math. J. 57, No. 5, 841-848 (2016); translation from Sib. Mat. Zh. 57, No. 5, 1078-1087 (2016).
The logic of the strongest and the weakest t-norms. (English) Zbl 1373.03031
Fuzzy Sets Syst. 276, 31-42 (2015); corrigendum ibid. 284, 152-153 (2016).
Recognizable logics. (English. Russian original) Zbl 1347.03055
Algebra Logic 54, No. 2, 167-182 (2015); translation from Algebra Logika 54, No. 2, 252-274 (2015).
Interpolation over the minimal logic and Odintsov intervals. (English. Russian original) Zbl 1351.03018
Sib. Math. J. 56, No. 3, 476-489 (2015); translation from Sib. Mat. Zh. 56, No. 3, 600-616 (2015).
Idempotent residuated structures: some category equivalences and their applications. (English) Zbl 1402.06005
The Lyndon property and uniform interpolation over the Grzegorczyk logic. (English. Russian original) Zbl 1521.03034
Sib. Math. J. 55, No. 1, 118-124 (2014); translation from Sib. Mat. Zh. 55, No. 1, 147-156 (2014).
Amalgamation and interpolation in ordered algebras. (English) Zbl 1318.06012
Reviewer: Michiro Kondo (Inzai)
Restricted interpolation over modal logic S4. (English. Russian original) Zbl 1311.03040
Algebra Logic 52, No. 4, 308-335 (2013); translation from Algebra Logika 52, No. 4, 461-501 (2013).
MSC:
03B45
Classification of extensions of the modal logic S4. (English. Russian original) Zbl 1315.03029
Sib. Math. J. 54, No. 6, 1064-1075 (2013); translation from Sib. Mat. Zh. 54, No. 6, 1337-1352 (2013).
MSC:
03B45
Failure of interpolation in constant domain intuitionistic logic. (English) Zbl 1327.03007
Reviewer: Valery Plisko (Moskva)
The projective Beth property in well-composed logics. (English. Russian original) Zbl 1315.03046
Algebra Logic 52, No. 2, 116-136 (2013); translation from Algebra Logika 52, No. 2, 172-202 (2013).
Amalgamation, interpolation, and implicit definability in varieties of algebras. (English. Russian original) Zbl 1361.03033
Proc. Steklov Inst. Math. 278, Suppl. 1, S66-S90 (2012); translation from Sovrem. Probl. Mat. 15, 15-39 (2011).
The decidability of Craig’s interpolation property in well-composed J-logics. (English. Russian original) Zbl 1285.03030
Sib. Math. J. 53, No. 5, 839-852 (2012); translation from Sib. Mat. Zh. 53, No. 5, 1048-1064 (2012).
A category equivalence for odd Sugihara monoids and its applications. (English) Zbl 1279.03043
Reviewer: Hiroki Takamura (Tokyo)
Interpolation and the projective Beth property in well-composed logics. (English. Russian original) Zbl 1285.03028
Algebra Logic 51, No. 2, 163-184 (2012); translation from Algebra Logika 51, No. 2, 244-275 (2012).
Interpolation in weakly transitive modal logics. (English. Russian original) Zbl 1282.03010
Algebra Logic 51, No. 2, 131-143 (2012); translation from Algebra Logika 51, No. 2, 197-215 (2012).
Reviewer: Grigory K. Olkhovikov (Ekaterinburg)
Proof complexity of non-classical logics. (English) Zbl 1250.03116
Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 1-54 (2012).
Not every splitting Heyting or interior algebra is finitely presentable. (English) Zbl 1258.06003
Reviewer: Ivan Chajda (Přerov)
Synonymous theories and knowledge representations in answer set programming. (English) Zbl 1250.68254
Reviewer: Wolfgang Faber (Wien)
Amalgamation through quantifier elimination for varieties of commutative residuated lattices. (English) Zbl 1245.03110
Reviewer: Jānis Cīrulis (Riga)
Decidability of the weak interpolation property over the minimal logic. (English. Russian original) Zbl 1285.03029
Algebra Logic 50, No. 2, 106-132 (2011); translation from Algebra Logika 50, No. 2, 152-188 (2011).
Simple weakly transitive modal algebras. (English. Russian original) Zbl 1255.03060
Algebra Logic 49, No. 3, 233-245 (2010); translation from Algebra Logika 49, No. 3, 346-365 (2010).
MSC:
03G25
Rings and Gödel algebras. (English) Zbl 1225.16004
Reviewer: Simion Sorin Breaz (Cluj-Napoca)
Joint consistency in extensions of the minimal logic. (English. Russian original) Zbl 1208.03031
Sib. Math. J. 51, No. 3, 479-490 (2010); translation from Sib. Mat. Zh. 51, No. 3, 604-619 (2010).
Interpolation properties in the extensions of the logic of inequality. (English. Russian original) Zbl 1209.03014
Sib. Math. J. 51, No. 3, 439-451 (2010); translation from Sib. Mat. Zh. 51, No. 3, 553-568 (2010).
The class of polyadic algebras has the super amalgamation property. (English) Zbl 1191.03048
MSC:
03G15
Decidability of the interpolation problem and of related properties in tabular logics. (English. Russian original) Zbl 1241.03032
Algebra Logic 48, No. 6, 426-448 (2009); translation from Algebra Logika 48, No. 6, 754-792 (2009).
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).
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium ’08. Bern, Switzerland, July 3–July 8, 2008. (English) Zbl 1156.03306
Weak interpolation in extensions of the logics S4 and K4. (English. Russian original) Zbl 1241.03022
Algebra Logic 47, No. 6, 395-404 (2008); translation from Algebra Logika 47, No. 6, 705-722 (2008).
Belief revision in non-classical logics. (English) Zbl 1208.03020
Reviewer: David Makinson (London)
MSC:
03B42
Interpolation in non-classical logics. (English) Zbl 1171.03018
MSC:
03C40
Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. (English) Zbl 1094.03011
Filter Results by …
Document Type
- Journal Articles (81)
- Collection Articles (13)
all
top 5
Author
- Maksimova, Larisa L’vovna (31)
- Yun, Veta Fëdorovna (13)
- Raftery, James G. (6)
- Karpenko, Anastasia Valer’evna (5)
- Moraschini, Tommaso (5)
- Olkhovikov, Grigory K. (4)
- Kuznets, Roman (3)
- Marchioni, Enrico (3)
- Muravitsky, Alexei Yu. (3)
- Rasga, João (3)
- Sernadas, Cristina S. (3)
- Speranski, Stanislav O. (3)
- Wannenburg, Johann J. (3)
- Afshari, Bahareh (2)
- Badia, Guillermo (2)
- Galatos, Nikolaos (2)
- Iemhoff, Rosalie (2)
- Leigh, Graham Emil (2)
- Lipparini, Paolo (2)
- Metcalfe, George (2)
- Montagna, Franco (2)
- Odintsov, Sergei P. (2)
- Orlandelli, Eugenio (2)
- Sayed Ahmed, Tarek (2)
- Sernadas, Amilcar C. (2)
- Amidei, Jacopo (1)
- Artale, Alessandro (1)
- Belluce, Lawrence Peter (1)
- Beyersdorff, Olaf (1)
- Bezhanishvili, Guram (1)
- Bianchi, Matteo (1)
- Carnielli, Walter Alexandre (1)
- Chen, Wei (1)
- Citkin, Alex (1)
- D’Agostino, Giovanna (1)
- Di Nola, Antonio (1)
- Diaconescu, Răzvan (1)
- Drobyshevich, Sergeĭ Andreevich (1)
- Ertola Biraben, Rodolfo C. (1)
- Fitting, Melvin Chris (1)
- Gabbay, Dov M. (1)
- Gabbay, Michael J. (1)
- Gabbay, Murdoch James (1)
- Gherardi, Guido (1)
- Grefenshtein, Alexander V. (1)
- Jung, Jean Christoph (1)
- Kurahashi, Taishi (1)
- Kutz, Oliver (1)
- Leitgeb, Hannes (1)
- Maffezioli, Paolo (1)
- Mazzullo, Andrea (1)
- Menéndez Turata, Guillermo (1)
- Mints, Grigoriĭ Efroimovich (1)
- Montagna, Franco (1)
- Mossakowski, Till (1)
- Nyiri, David (1)
- Ozaki, Ana (1)
- Pearce, David (1)
- Rodrigues, Odinaldo T. (1)
- Russo, Alessandra M. (1)
- Studer, Thomas (1)
- Tarlecki, Andrzej (1)
- Tishkovsky, Dmitry (1)
- Tsinakis, Constantine (1)
- Urquhart, Alasdair (1)
- Valverde, Agustín (1)
- Wilkie, Alex James (1)
- Wolter, Frank (1)
- Yang, Fan (1)
- Zoghifard, Reihane (1)
all
top 5
Serial
- Algebra Logic (16)
- Sib. Math. J. (11)
- Ann. Pure Appl. Logic (9)
- Stud. Log. (7)
- Math. Log. Q. (4)
- Algebra Univers. (3)
- Log. Log. Philos. (3)
- Sib. Èlektron. Mat. Izv. (3)
- Log. Univers. (3)
- J. Algebra (2)
- Arch. Math. Logic (2)
- Rev. Symb. Log. (2)
- Commun. Algebra (1)
- Inf. Process. Lett. (1)
- Fuzzy Sets Syst. (1)
- J. Comput. Syst. Sci. (1)
- J. Philos. Log. (1)
- J. Pure Appl. Algebra (1)
- J. Symb. Log. (1)
- Notre Dame J. Formal Logic (1)
- Synthese (1)
- Trans. Am. Math. Soc. (1)
- J. Appl. Non-Class. Log. (1)
- Bull. Symb. Log. (1)
- Sb. Math. (1)
- ACM Trans. Comput. Log. (1)
- J. Appl. Log. (1)
- Proc. Steklov Inst. Math. (1)
