zbMATH — the first resource for mathematics

Logic Journal of the IGPL

Official publication of the International Interest Group in Pure and Applied Logics (IGPL)

 Short Title: Log. J. IGPL Publisher: Oxford University Press, Oxford ISSN: 1367-0751; 1368-9894/e Online: https://academic.oup.com/jigpal/issue Predecessor: Journal of the IGPL Comments: Indexed cover-to-cover
 Documents Indexed: 879 Publications (since 1997)
all top 5

Latest Issues

 28, No. 6 (2020) 28, No. 5 (2020) 27, No. 5 (2019) 27, No. 3 (2019) 27, No. 2 (2019) 27, No. 1 (2018) 26, No. 1 (2018) 25, No. 4 (2017) 25, No. 3 (2017) 25, No. 2 (2017) 24, No. 6 (2016) 24, No. 5 (2016) 24, No. 4 (2016) 24, No. 3 (2016) 24, No. 2 (2016) 24, No. 1 (2016) 23, No. 6 (2015) 23, No. 5 (2015) 23, No. 4 (2015) 23, No. 3 (2015) 23, No. 2 (2015) 23, No. 1 (2015) 22, No. 6 (2014) 22, No. 5 (2014) 22, No. 4 (2014) 22, No. 3 (2014) 22, No. 2 (2014) 22, No. 1 (2014) 21, No. 6 (2013) 21, No. 5 (2013) 21, No. 4 (2013) 21, No. 3 (2013) 21, No. 2 (2013) 21, No. 1 (2013) 20, No. 6 (2012) 20, No. 5 (2012) 20, No. 4 (2012) 20, No. 3 (2012) 20, No. 2 (2012) 20, No. 1 (2012) 19, No. 6 (2011) 19, No. 5 (2011) 19, No. 4 (2011) 19, No. 3 (2011) 19, No. 2 (2011) 19, No. 1 (2011) 18, No. 6 (2010) 18, No. 5 (2010) 18, No. 4 (2010) 18, No. 3 (2010) 18, No. 2 (2010) 18, No. 1 (2010) 17, No. 6 (2009) 17, No. 5 (2009) 17, No. 4 (2009) 17, No. 3 (2009) 17, No. 2 (2009) 17, No. 1 (2009) 16, No. 6 (2008) 16, No. 5 (2008) 16, No. 4 (2008) 16, No. 3 (2008) 16, No. 2 (2008) 16, No. 1 (2008) 15, No. 5-6 (2007) 15, No. 4 (2007) 15, No. 3 (2007) 15, No. 2 (2007) 15, No. 1 (2007) 14, No. 6 (2006) 14, No. 5 (2006) 14, No. 4 (2006) 14, No. 3 (2006) 14, No. 2 (2006) 14, No. 1 (2006) 13, No. 6 (2005) 13, No. 5 (2005) 13, No. 4 (2005) 13, No. 3 (2005) 13, No. 2 (2005) 13, No. 1 (2005) 12, No. 6 (2004) 12, No. 5 (2004) 12, No. 4 (2004) 12, No. 3 (2004) 12, No. 2 (2004) 12, No. 1 (2004) 11, No. 6 (2003) 11, No. 5 (2003) 11, No. 4 (2003) 11, No. 3 (2003) 11, No. 2 (2003) 11, No. 1 (2003) 10, No. 6 (2002) 10, No. 5 (2002) 10, No. 4 (2002) 10, No. 3 (2002) 10, No. 2 (2002) 10, No. 1 (2002) 9, No. 6 (2001) ...and 27 more Volumes
all top 5

Authors

 19 Gabbay, Dov M. 17 De Queiroz, Ruy José Guerra Barretto 16 Carnielli, Walter Alexandre 14 Sayed Ahmed, Tarek 10 Magnani, Lorenzo 9 Finger, Marcelo 9 Haeusler, Edward Hermann 9 Robles, Gemma 9 Rybakov, Vladimir Vladimirovich 9 Veloso, Paulo Augusto S. 8 Avron, Arnon 8 Bridges, Douglas Suth 8 Coniglio, Marcelo Esteban 7 Ardeshir, Mohammad 7 Kamareddine, Fairouz D. 7 Sernadas, Cristina S. 7 Veloso, Sheila R. M. 6 Ayala-Rincón, Mauricio 6 Benevides, Mario R. F. 6 Corchado, Emilio S. 6 Dzik, Wojciech 6 Krause, Décio 6 Nepomuceno-Fernández, Ángel 6 van der Hoek, Wiebe 6 Woods, John 5 Areces, Carlos 5 Béziau, Jean-Yves 5 Blackburn, Patrick 5 de Paiva, Valeria 5 Fernández Duque, David 5 Hájek, Petr 5 Hartonas, Chrysafis 5 Marx, Maarten 5 Mateus, Paulo C. 5 Quintián, Héctor 4 Abraham, Ajith 4 Alizadeh, Majid 4 Barrio, Eduardo Alejandro 4 Broda, Krysia B. 4 Castiglioni, José Luis 4 de Freitas, Renata P. 4 de Jongh, Dick H. J. 4 de Oliveira, Anjolina Grisi 4 Dellunde, Pilar 4 Esteva, Francesc 4 Figallo, Aldo Victorio 4 Gencer, Çigdem 4 Godo, Lluís 4 Golińska-Pilarek, Joanna 4 Herrero, Álvaro 4 Hirsch, Robin 4 Joosten, Joost J. 4 Kern-Isberner, Gabriele 4 Ledda, Antonio 4 Miglioli, Pierangelo 4 Mikulás, Szabolcs 4 Mints, Grigoriĭ Efroimovich 4 Muñoz-Velasco, Emilio 4 Ognjanović, Zoran 4 Peltier, Nicolas 4 Pizzi, Claudio E. A. 4 Rasga, João 4 Rivieccio, Umberto 4 Sakama, Chiaki 4 Schlechta, Karl 4 Soler-Toscano, Fernando 4 Viana, Petrucio 4 Voutsadakis, George 4 Wansing, Heinrich Theodor 4 Wooldridge, Michael J. 3 Ågotnes, Thomas 3 Arieli, Ofer 3 Balbiani, Philippe 3 Bimbó, Katalin 3 Boella, Guido 3 Bokov, Grigoriy V. 3 Bruza, Peter D. 3 Caleiro, Carlos 3 Casadio, Claudia 3 de Campos Sanz, Wagner 3 Dershowitz, Nachum 3 Dignum, F. P. M. 3 Dunin-Kȩplicz, Barbara 3 Ertola Biraben, Rodolfo C. 3 Figallo, Martín 3 Font, Josep Maria 3 Gabbay, Michael J. 3 García Bringas, Pablo 3 Ghilardi, Silvio 3 Gomes da Silva, Samuel 3 Goranko, Valentin F. 3 Goris, Evan 3 Graña, Manuel 3 Herzig, Andreas 3 Hodges, Wilfrid 3 Humberstone, Lloyd 3 Iemhoff, Rosalie 3 Inoue, Katsumi 3 Jansana, Ramon 3 Järvinen, Jouni ...and 939 more Authors
all top 5

Fields

 755 Mathematical logic and foundations (03-XX) 363 Computer science (68-XX) 52 Order, lattices, ordered algebraic structures (06-XX) 49 General and overarching topics; collections (00-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Information and communication theory, circuits (94-XX) 14 Category theory; homological algebra (18-XX) 12 General algebraic systems (08-XX) 9 Quantum theory (81-XX) 6 History and biography (01-XX) 6 General topology (54-XX) 6 Mathematics education (97-XX) 5 Statistics (62-XX) 4 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX)

Citations contained in zbMATH Open

500 Publications have been cited 2,133 times in 1,697 Documents Cited by Year
Compositional semantics for a language of imperfect information. Zbl 0945.03034
Hodges, Wilfrid
1997
Belnap’s four-valued logic and De Morgan lattices. Zbl 0871.03012
Font, Josep Maria
1997
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
1998
A generalized concept lattice. Zbl 1088.06005
Krajči, Stanislav
2005
Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025
Blackburn, Patrick
2000
On ignorance and contradiction considered as truth-values. Zbl 1139.03013
Dubois, Didier
2008
The computational complexity of hybrid temporal logics. Zbl 0959.03011
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
2000
Practical reasoning for very expressive description logics. Zbl 0967.03026
Horrocks, Ian; Sattler, Ulrike; Tobies, Stephan
2000
Propositional temporal logics: Decidability and completeness. Zbl 1033.03009
Lichtenstein, Orna; Pnueli, Amir
2000
The logic of distributive bilattices. Zbl 1214.03056
Bou, Félix; Rivieccio, Umberto
2011
On some varieties of MTL-algebras. Zbl 1078.03051
Noguera, Carles; Esteva, Francesc; Gispert, Joan
2005
Hybrid languages and temporal logic. Zbl 0920.03029
Blackburn, Patrick; Tzakova, Miroslava
1999
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
1997
Structural completeness in substructural logics. Zbl 1168.03012
Olson, J. S.; Raftery, J. G.; van Alten, C. J.
2008
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Zbl 0948.03013
Celani, Sergio; Jansana, Ramon
1999
Multi-valued calculi for logics based on non-determinism. Zbl 1080.03007
Avron, Arnon; Konikowska, Beata
2005
Fuzzy closure operators with truth stressers. Zbl 1089.06001
Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém
2005
EQ-algebra-based fuzzy type theory and its extensions. Zbl 1243.03034
Novák, Vilém
2011
Substructural logics on display. Zbl 0906.03020
Goré, Rajeev
1998
Resolution-based methods for modal logics. Zbl 0947.03014
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich
2000
Equivalence and quantifier rules for logic with imperfect information. Zbl 1160.03007
Caicedo, Xavier; Dechesne, Francien; Janssen, Theo M. V.
2009
Independent bases of admissible rules. Zbl 1146.03008
Jeřábek, Emil
2008
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
2011
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
2003
On distance-based inconsistency reduction algorithms for pairwise comparisons. Zbl 1201.68114
Koczkodaj, W. W.; Szarek, S. J.
2010
Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071
Governatori, Guido; Rotolo, Antonino
2010
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
2011
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
2001
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Zbl 0938.03042
Avellone, Alessandro; Ferrari, Mauro; Miglioli, Pierangelo
1999
Hyperidentities of De Morgan algebras. Zbl 1276.06005
Movsisyan, Yu. M.; Aslanyan, V. A.
2012
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
2002
Bridges between classical and nonmonotonic logic. Zbl 1016.03024
Makinson, David
2003
Hybrid logics with Sahlqvist axioms. Zbl 1080.03006
ten Cate, Balder; Marx, Maarten; Viana, Petrúcio
2005
Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008
Orłowska, Ewa; Rewitzky, Ingrid
2005
Bisimulation, modal logic and model checking games. Zbl 0920.03034
Stirling, Colin
1999
Decision procedures and model building in equational clause logic. Zbl 0903.03010
Fermüller, Christian G.; Leitsch, Alexander
1998
Coherent conditional probability in a fuzzy logic setting. Zbl 1117.03031
Godo, Lluís; Marchioni, Enrico
2006
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
2014
Multiplicative conjunction as an extensional conjunction. Zbl 0867.03019
Avron, Arnon
1997
Algebraic polymodal logic: A survey. Zbl 1012.03060
Goldblatt, Robert
2000
On the search for a finitizable algebraization of first order logic. Zbl 0973.03008
Sain, Ildikó
2000
Strongly decidable properties of modal and intuitionistic calculi. Zbl 0963.03004
Maksimova, Larisa
2000
A new principle in the interpretability logic of all reasonable arithmetical theories. Zbl 1228.03040
Goris, Evan; Joosten, Joost J.
2011
Problem of restricted interpolation in superintuitionistic and some modal logics. Zbl 1203.03035
Maksimova, Larisa
2010
Finite schematizable algebraic logic. Zbl 0886.03044
Sain, Ildikó; Gyuris, Viktor
1997
On the union of well-founded relations. Zbl 0892.68050
Doornbos, Henk; von Karger, Burghard
1998
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
2008
A cut-free Gentzen formulation of the modal logic S5. Zbl 0965.03023
Braüner, Torben
2000
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
2000
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
2005
Hybrid completeness. Zbl 0904.03009
Blackburn, Patrick; Tzakova, Miroslava
1998
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025
Goré, Rajeev
1998
On cylindric algebras satisfying merry-go-round properties. Zbl 1158.03038
Ferenczi, Miklòs
2007
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis
2000
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Zbl 1215.03048
Dowek, Gilles; Gabbay, Murdoch J.; Mulligan, Dominic P.
2010
Multimodal and intuitionistic logics in simple type theory. Zbl 1222.03023
Benzmüller, Christoph; Paulson, Lawrence C.
2010
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
1998
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
2000
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
1997
Maximum entropy inference with quantified knowledge. Zbl 1133.03326
Barnett, Owen; Paris, Jeff
2008
An introduction to cylindric set algebras. Zbl 0979.03046
Monk, J. Donald
2000
Defining double negation elimination. Zbl 0980.03033
Restall, Greg
2000
Partiality and games: Propositional logic. Zbl 0971.03031
Sandu, Gabriel; Pietarinen, Ahti
2001
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
2001
Interpolation in practical formal development. Zbl 0981.03035
Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim
2001
Creating collective intention through dialogue. Zbl 0974.68201
Dignum, Frank; Dunin-Kȩplicz, Barbara; Verbrugge, Rineke
2001
Higher order $$\beta$$ matching is undecidable. Zbl 1014.03017
2003
A formal logic for abductive reasoning. Zbl 1108.03035
Meheus, Joke; Batens, Diderik
2006
Unification via the $$\lambda s_e$$-style of explicit substitutions. Zbl 0987.03012
Ayala-Rincón, Mauricio; Kamareddine, Fairouz
2001
Kripke completeness of first-order constructive logics with strong negation. Zbl 1048.03022
Hasuo, Ichiro; Kashima, Ryo
2003
A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057
Dyckhoff, Roy
1999
Generalized truth values. A reply to Dubois. Zbl 1209.03020
Wansing, Heinrich; Belnap, Nuel
2010
A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025
Robles, Gemma; Méndez, José M.
2014
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
2013
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043
Golinska-Pilarek, J.; Muñoz-Velasco, E.
2009
HpsUL is not the logic of pseudo-uninorms and their residua. Zbl 1172.03017
Wang, Sanmin; Zhao, Bin
2009
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
2010
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
2001
On the semantics of informational independence. Zbl 1005.03033
Väänänen, Jouko
2002
Equality-free logic: The method of diagrams and preservation theorems. Zbl 0942.03044
Dellunde, Pilar
1999
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024
Arieli, Ofer; Avron, Arnon
2000
Modal foundations for predicate logic. Zbl 0949.03517
van Benthem, Johan
1997
Filters and partial orders. Zbl 0884.03027
Schlechta, Karl
1997
A fast deterministic algorithm for formulas that have many satisfying assignments. Zbl 0897.03043
Hirsch, Edward A.
1998
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
2001
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
2001
Sequent calculi for intuitionistic linear logic with strong negation. Zbl 1014.03057
Kamide, Norihiro
2002
The class of neat reducts is not elementary. Zbl 0988.03098
Sayed-Ahmed, Tarek
2001
Descente infinie + deduction. Zbl 1067.03021
Wirth, Claus-Peter
2004
An analysis of (linear) exponentials based on extended sequents. Zbl 0934.03077
Guerrini, Stefano; Martini, Simone; Masini, Andrea
1998
Classical negation can be expressed by one of its halves. Zbl 0924.03012
Béziau, Jean-Yves
1999
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
2012
Soundness and completeness of the cirquent calculus system CL6 for computability logic. Zbl 1258.03033
Xu, Wenyan; Liu, Sanyang
2012
Defeasible inheritance systems and reactive diagrams. Zbl 1155.68081
Gabbay, Dov M.; Schlechta, Karl
2009
A neat embedding theorem for expansions of cylindric algebras. Zbl 1119.03066
Sayed-Ahmed, Tarek; Samir, Basim
2007
A finite relation algebra with undecidable network satisfaction problem. Zbl 0933.03051
Hirsch, Robin
1999
Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025
Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn
2012
An introduction to partition logic. Zbl 1343.03026
Ellerman, David
2014
Dualities for modal N4-lattices. Zbl 1335.03071
Jansana, Ramon; Rivieccio, Umberto
2014
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
2014
Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071
Hartonas, Chrysafis
2017
Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063
Avron, Arnon; Beziau, Jean-Yves
2017
Assertion and hypothesis: a logical framework for their opposition relations. Zbl 1405.03074
Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro
2017
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
2017
$$\eta$$-conversions of IPC implemented in atomic F. Zbl 1405.03091
Ferreira, Gilda
2017
Equivalence among RC-type paraconsistent logics. Zbl 1405.03065
Osorio, Mauricio; Castellanos Joo, José Abel
2017
Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088
Carnielli, Walter A.; Pulcini, Gabriele
2017
Minimizing disjunctive normal forms of pure first-order logic. Zbl 1405.03023
Lampert, Timm
2017
A paraconsistent route to semantic closure. Zbl 1405.03064
Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique
2017
Modal operators for meet-complemented lattices. Zbl 1405.03049
Castiglioni, José Luis; Ertola-Biraben, Rodolfo C.
2017
Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Zbl 1405.03021
Stern, Julio Michael
2017
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. Zbl 1405.03102
Dellunde, Pilar; García-Cerdaña, Àngel; Noguera, Carles
2016
Some classes of quasi-pseudo-MV algebras. Zbl 1405.06006
Chen, Wenjuan; Davvaz, Bijan
2016
Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051
Hartonas, Chrysafis
2016
Uniqueness of axiomatic extensions of cut-free classical propositional logic. Zbl 1405.03022
Piazza, Mario; Pulcini, Gabriele
2016
Representing quantum structures as near semirings. Zbl 1405.06007
Bonzio, Stefano; Chajda, Ivan; Ledda, Antonio
2016
Grafting hypersequents onto nested sequents. Zbl 1405.03092
Kuznets, Roman; Lellmann, Björn
2016
Theory of disjunctive attacks. I. Zbl 1407.68464
Gabbay, D.; Gabbay, M.
2016
On the parallel computation thesis. Zbl 1407.68186
Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia
2016
Decidability and complexity of fibred logics without shared connectives. Zbl 1405.03032
Marcelino, Sérgio; Caleiro, Carlos
2016
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
2016
Common cause abduction: the formation of theoretical concepts and models in science. Zbl 1405.03020
Schurz, Gerhard
2016
Pavelka-style fuzzy justification logics. Zbl 1405.03040
2016
Undecidable problems for propositional calculi with implication. Zbl 1405.03031
Bokov, Grigoriy V.
2016
A companion to Brady’s 4-valued relevant logic $$\mathrm{BN}4$$: the 4-valued logic of entailment $$\mathrm{E}_4$$. Zbl 1405.03061
Robles, Gemma; Méndez, José M.
2016
A general framework for product representations: bilattices and beyond. Zbl 1405.06002
Cabrer, L. M.; Priestley, H. A.
2015
On guarded transformation in the modal $$\mu$$-calculus. Zbl 1405.03048
Bruse, Florian; Friedmann, Oliver; Lange, Martin
2015
A binary Routley semantics for intuitionistic De Morgan minimal logic $$H_M$$ and its extensions. Zbl 1405.03066
Robles, Gemma; Méndez, José M.
2015
On frontal operators in Hilbert algebras. Zbl 1407.03079
Castiglioni, José L.; San Martín, Hernán J.
2015
On structural completeness versus almost structural completeness problem: a discriminator varieties case study. Zbl 1405.08006
Campercholi, Miguel; Stronkowski, Michał M.; Vaggione, Diego
2015
Relation-changing modal operators. Zbl 1405.03047
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
2015
How to make up one’s mind. Zbl 1405.03044
Zhang, Li; Hansson, Sven Ove
2015
Reduction of provability logics to $$\Sigma_1$$-provability logics. Zbl 1405.03094
Ardeshir, Mohammad; Mojtahedi, S. Mojtaba
2015
Forgetting complex propositions. Zbl 1405.03039
Fernández-Duque, David; Nepomuceno-Fernández, Ángel; Sarrión-Morrillo, Enrique; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R.
2015
Counting weak Heyting algebras on finite distributive lattices. Zbl 1405.06004
2015
A formal account of dishonesty. Zbl 1405.03042
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2015
Explicit substitution calculi with de Bruijn indices and intersection type systems. Zbl 1405.03037
Ventura, Daniel Lima; Kamareddine, Fairouz; Ayala-Rincón, Mauricio
2015
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. Zbl 1405.03030
Bokov, Grigoriy V.
2015
Some non-classical approaches to the Brandenburger-Keisler paradox. Zbl 1405.03038
Başkent, Can
2015
Almost structurally complete infinitary consequence operations extending $$\mathbf{S4.3}$$. Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
2015
First steps towards probabilistic justification logic. Zbl 1405.03057
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas
2015
Base-extension semantics for intuitionistic sentential logic. Zbl 1405.03028
Sandqvist, Tor
2015
Logical consistency in simultaneous statistical test procedures. Zbl 1405.62105
Izbicki, Rafael; Esteves, Luís Gustavo
2015
Relative expressive power of navigational querying on graphs using transitive closure. Zbl 1407.68134
Surinx, Dimitri; Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing
2015
Nested sequents for provability logic $$\mathsf{GLP}$$. Zbl 1405.03098
Shamkanov, Daniyar
2015
The attack as strong negation. I. Zbl 1405.03027
Gabbay, D.; Gabbay, M.
2015
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
2014
A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025
Robles, Gemma; Méndez, José M.
2014
An introduction to partition logic. Zbl 1343.03026
Ellerman, David
2014
Dualities for modal N4-lattices. Zbl 1335.03071
Jansana, Ramon; Rivieccio, Umberto
2014
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
2014
Applications of ultraproducts: from compactness to fuzzy elementary classes. Zbl 1343.03023
Dellunde, Pilar
2014
Randomized game semantics for semi-fuzzy quantifiers. Zbl 1342.03026
Fermüller, Christian G.; Roschger, Christoph
2014
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. Zbl 1306.03014
Castiglioni, José Luis; Ertola Biraben, Rodolfo C.
2014
Constructive semantics, admissibility of rules and the validity of Peirce’s law. Zbl 1323.03086
de Campos Sanz, Wagner; Piecha, Thomas; Schroeder-Heister, Peter
2014
Swap logic. Zbl 1342.03018
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
2014
An alternative approach for quasi-truth. Zbl 1342.03027
Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique
2014
Logics of varieties, logics of semilattices and conjunction. Zbl 1405.03103
Font, Josep Maria; Moraschini, Tommaso
2014
Logics of formal inconsistency arising from systems of fuzzy logic. Zbl 1405.03062
Coniglio, Marcelo E.; Esteva, Francesc; Godo, Lluís
2014
Well-orders in the transfinite Japaridze algebra. Zbl 1405.03095
Fernández-Duque, David; Joosten, Joost J.
2014
Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
2014
Modal twist-structures over residuated lattices. Zbl 1335.03072
Ono, Hiroakira; Rivieccio, Umberto
2014
Finitely many-valued logics and natural deduction. Zbl 1328.03022
Englander, Cecilia; Haeusler, Edward Hermann; Pereira, Luiz Carlos
2014
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Zbl 1330.03059
Robles, Gemma; Méndez, José M.
2014
Tarski’s theorem and liar-like paradoxes. Zbl 1343.03006
Hsiung, Ming
2014
On an inferential semantics for classical logic. Zbl 1343.03009
Makinson, David
2014
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Zbl 1342.03020
Lin, Zhe
2014
Interpolation property and homogeneous structures. Zbl 1338.03057
Gyenis, Zalán
2014
Signalling in independence-friendly logic. Zbl 1323.03031
Barbero, Fausto; Sandu, Gabriel
2014
Projective formulas and unification in linear temporal logic $$\mathrm{LTL}_{U}$$. Zbl 1342.03017
2014
Decomposition of multiple AGM contraction: possibility and impossibility results. Zbl 1315.03026
Hansson, Sven Ove
2014
Deontic logic (adapted) for normative conflicts. Zbl 1314.03022
Goble, Lou
2014
Justifying induction on modal $$\mu$$-formulae. Zbl 1405.03046
Alberucci, Luca; Krähenbühl, Jürg; Studer, Thomas
2014
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
2014
Linear logic model of state revisited. Zbl 1407.03076
de Paiva, Valeria
2014
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Zbl 1305.68157
Lambán, L.; Rubio, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.
2014
On the interrelation between systems of spheres and epistemic entrenchment relations. Zbl 1342.03016
Reis, Maurício D. L.
2014
First-order hybrid logic: introduction and survey. Zbl 1343.03012
Braüner, Torben
2014
Semantic analysis of non-reflexive logics. Zbl 1305.03023
Arenhart, Jonas Rafael Becker
2014
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. Zbl 1343.03013
Ghilardi, Silvio; Mints, Grigori
2014
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
2014
Bayesian epistemic values: focus on surprise, measure probability! Zbl 1309.62057
Stern, Julio Michael; de Bragança Pereira, Carlos A.
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
2014
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
2013
Strong, universal and provably non-trivial set theory by means of adaptive logic. Zbl 1284.03240
Verdee, Peter
2013
Connecting dynamic epistemic and temporal epistemic logics. Zbl 1285.03008
van Ditmarsch, Hans; van der Hoek, Wiebe; Ruan, Ji
2013
Is abduction ignorance-preserving? Conventions, models and fictions in science. Zbl 1343.03008
Magnani, Lorenzo
2013
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce’s existential graphs. Zbl 1306.03004
Caterina, Gianluca; Gangle, Rocco
2013
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
2013
Procedural isomorphism, analytic information and $$\beta$$-conversion by value. Zbl 1277.03024
Duží, Marie; Jespersen, Bjørn
2013
Constructive version of Boolean algebra. Zbl 1272.03160
Ciraulo, Francesco; Maietti, Maria Emilia; Toto, Paola
2013
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Zbl 1278.03050
2013
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161
Huang, Shasha; Li, Qingguo; Hitzler, Pascal
2013
Comparing strengths of beliefs explicitly. Zbl 1272.03085
Ghosh, Sujata; de Jongh, Dick
2013
How an agent might think. Zbl 1272.68382
Szałas, Andrzej
2013
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Zbl 1305.68161
Nepomuceno-Fernández, Ángel; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R.
2013
A proof procedure for adaptive logics. Zbl 1323.03030
Verdee, Peter
2013
Mathematical pluralism. Zbl 1286.00043
Priest, Graham
2013
Lipschitz functions in constructive reverse mathematics. Zbl 1277.03062
Loeb, Iris
2013
On equality and natural numbers in Cantor-Łukasiewicz set theory. Zbl 1283.03086
Hájek, Petr
2013
...and 400 more Documents
all top 5

Cited by 1,662 Authors

 21 Avron, Arnon 20 Sayed Ahmed, Tarek 17 Maksimova, Larisa L’vovna 17 Rivieccio, Umberto 16 Kamide, Norihiro 14 Gabbay, Dov M. 14 Wansing, Heinrich Theodor 13 Bělohlávek, Radim 13 Bimbó, Katalin 13 Dubois, Didier 13 Medina, Jesús 13 Voutsadakis, George 12 Gabbay, Murdoch James 12 Novák, Vilém 12 Rybakov, Vladimir Vladimirovich 11 Areces, Carlos 11 Balbiani, Philippe 11 Galliani, Pietro 11 Movsisyan, Yuri Movses 11 Ojeda-Aciego, Manuel 11 Robles, Gemma 11 Väänänen, Jouko Antero 11 Vychodil, Vilém 10 Hirsch, Robin 10 Humberstone, Lloyd 10 Konecny, Jan 10 Palmigiano, Alessandra 10 Schmidt, Renate A. 10 van Benthem, Johan F. A. K. 10 Zamansky, Anna 9 Dunn, Jon Michael 9 Iemhoff, Rosalie 9 Noguera, Carles 9 Ognjanović, Zoran 9 Raftery, James G. 9 Wooldridge, Michael J. 8 Arieli, Ofer 8 Ayala-Rincón, Mauricio 8 Benzmüller, Christoph Ewald 8 Bezhanishvili, Nick 8 Blackburn, Patrick 8 Caleiro, Carlos 8 Conradie, Willem J. 8 Godo, Lluís 8 Kontinen, Juha 8 Koutras, Costas D. 8 Kurucz, Agi 8 Lawry, Jonathan 8 Marcelino, Sérgio 8 Martins, Manuel António 8 Peltier, Nicolas 8 Yang, Fan 8 Yun, Veta Fëdorovna 7 Aslanyan, Vahagn A. 7 Benevides, Mario R. F. 7 Ciungu, Lavinia Corina 7 Ferenczi, Miklós 7 Fernández Duque, David 7 Hodkinson, Ian Martin 7 Jansana, Ramon 7 Ma, Minghui 7 Moraschini, Tommaso 7 Negri, Sara 7 Omori, Hitoshi 7 Orłowska, Ewa S. 7 Pelaitay, Gustavo 7 Perović, Aleksandar 7 Pocs, Jozef 7 Rasga, João 7 Sernadas, Cristina S. 7 Wolter, Frank 7 Zakharyaschev, Michael Viktorovich 6 Andréka, Hajnal 6 Badia, Guillermo 6 Barbero, Fausto 6 Bartl, Eduard 6 Bezhanishvili, Guram 6 Ciucci, Davide 6 Demri, Stéphane P. 6 Dershowitz, Nachum 6 Dyckhoff, Roy 6 Fermé, Eduardo Leopoldo 6 Figallo, Aldo Victorio 6 Fiorino, Guido 6 Hájek, Petr 6 Hartonas, Chrysafis 6 Kesner, Delia 6 Krupka, Michal 6 Kuznetsov, Stepan L’vovich 6 Lange, Martin 6 Madeira, Alexandre 6 Marcos, João 6 Marx, Maarten 6 Muñoz-Velasco, Emilio 6 Németi, István 6 Odintsov, Sergei P. 6 Paoli, Francesco 6 Prade, Henri M. 6 Rašković, Miodrag D. 6 Sano, Katsuhiko ...and 1,562 more Authors
all top 5

Cited in 150 Journals

 159 Studia Logica 76 Annals of Pure and Applied Logic 76 Journal of Applied Non-Classical Logics 65 Journal of Philosophical Logic 61 Fuzzy Sets and Systems 57 Theoretical Computer Science 49 Journal of Applied Logic 45 Journal of Logic, Language and Information 42 The Journal of Symbolic Logic 40 Synthese 38 Artificial Intelligence 37 Information Sciences 37 International Journal of Approximate Reasoning 37 Logica Universalis 37 The Review of Symbolic Logic 30 Soft Computing 28 Mathematical Logic Quarterly (MLQ) 27 Archive for Mathematical Logic 27 Annals of Mathematics and Artificial Intelligence 26 Notre Dame Journal of Formal Logic 26 Journal of Automated Reasoning 24 Algebra Universalis 24 Information and Computation 18 The Bulletin of Symbolic Logic 13 Logic and Logical Philosophy 13 Logical Methods in Computer Science 11 Algebra and Logic 11 Journal of Symbolic Computation 9 Journal of Computer and System Sciences 9 Bulletin of the Section of Logic 9 MSCS. Mathematical Structures in Computer Science 9 ACM Transactions on Computational Logic 8 Theory and Practice of Logic Programming 8 Journal of Logical and Algebraic Methods in Programming 7 Formal Aspects of Computing 7 The Journal of Logic and Algebraic Programming 6 International Journal of General Systems 6 Applied Mathematics and Computation 6 Siberian Mathematical Journal 6 European Journal of Operational Research 6 Applied Categorical Structures 5 Communications in Algebra 5 Transactions of the American Mathematical Society 5 International Journal of Computer Mathematics 5 Erkenntnis 5 Foundations of Science 4 Information Processing Letters 4 Machine Learning 4 Indagationes Mathematicae. New Series 4 Formal Methods in System Design 4 Topoi 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Journal of Multiple-Valued Logic and Soft Computing 4 Proceedings of the Steklov Institute of Mathematics 3 Journal of Pure and Applied Algebra 3 International Journal of Intelligent Systems 3 International Journal of Foundations of Computer Science 3 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences 3 Theory and Applications of Categories 3 Asian-European Journal of Mathematics 3 Symmetry 3 Frontiers of Computer Science 3 Journal of Siberian Federal University. Mathematics & Physics 2 Acta Informatica 2 Lithuanian Mathematical Journal 2 Demonstratio Mathematica 2 International Journal for Numerical Methods in Engineering 2 Quaestiones Mathematicae 2 History and Philosophy of Logic 2 Order 2 Algorithmica 2 AI Communications 2 Higher-Order and Symbolic Computation 2 Fundamenta Informaticae 2 International Game Theory Review 2 Computer Languages, Systems & Structures 2 Central European Journal of Mathematics 2 Structural and Multidisciplinary Optimization 2 Computational Linguistics 2 Foundations of Physics 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Armenian Journal of Mathematics 2 European Journal for Philosophy of Science 2 Axiomathes 2 European Journal of Mathematics 1 Biological Cybernetics 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 International Journal of Theoretical Physics 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 Acta Mathematica Vietnamica 1 Advances in Mathematics 1 Czechoslovak Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 The Journal of Mathematical Sociology 1 Journal of Optimization Theory and Applications 1 Kybernetika 1 Mathematica Slovaca ...and 50 more Journals
all top 5

Cited in 35 Fields

 1,353 Mathematical logic and foundations (03-XX) 622 Computer science (68-XX) 190 Order, lattices, ordered algebraic structures (06-XX) 62 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 55 General algebraic systems (08-XX) 30 Category theory; homological algebra (18-XX) 24 History and biography (01-XX) 21 General topology (54-XX) 18 General and overarching topics; collections (00-XX) 17 Operations research, mathematical programming (90-XX) 17 Information and communication theory, circuits (94-XX) 15 Combinatorics (05-XX) 15 Quantum theory (81-XX) 10 Statistics (62-XX) 9 Group theory and generalizations (20-XX) 7 Probability theory and stochastic processes (60-XX) 7 Systems theory; control (93-XX) 5 Associative rings and algebras (16-XX) 5 Real functions (26-XX) 5 Biology and other natural sciences (92-XX) 4 Number theory (11-XX) 4 Commutative algebra (13-XX) 4 Mechanics of deformable solids (74-XX) 3 Measure and integration (28-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Relativity and gravitational theory (83-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Geometry (51-XX) 2 Numerical analysis (65-XX) 1 Nonassociative rings and algebras (17-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Optics, electromagnetic theory (78-XX)