Found 3,959 Documents (Results 1–100)
General clauses for SAT-based proof search in intuitionistic propositional logic. (English) Zbl 07919842
An essay in matrix semantics for consequence relations. (English) Zbl 07918538
Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 253-299 (2024).
MSC:
03A05
Hugh MacColl and Christine Ladd-Franklin: 1877–1909. (English) Zbl 07918522
Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 7-21 (2024).
Reviewer: Symon Serbenyuk (Kyïv)
Which ‘intensional paradoxes’ are paradoxes? (English) Zbl 07914751
MSC:
03-XX
Logical foundations of computer science. In 2 volumes. Vol 1: propositional logic. Vol 2: predicate logic. (English) Zbl 07910401
Singapore: World Scientific (ISBN 978-981-12-8936-1/hbk-set; 978-981-12-8935-4/ebook-set). (2024).
The logic behind desirable sets of things, and its filter representation. (English) Zbl 07905204
MSC:
03-XX
Embeddings as epistemic states: limitations on the use of pooling operators for accumulating knowledge. (English) Zbl 07885908
MSC:
68T37
Exploring non-regular extensions of propositional dynamic logic with description-logics features. (English) Zbl 07872354
KD45 with propositional quantifiers. (English) Zbl 07868848
MSC:
03B45
An introduction to classical and modal logics. The outlines of knowledge (to appear). (English) Zbl 07858645
Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-00-945067-6/pbk; 978-1-00-945069-0/hbk). (2024).
Combinatorial and algorithmic mathematics. From foundation to optimization. (English) Zbl 1542.90001
Hoboken, NJ: John Wiley & Sons (ISBN 978-1-394-23594-0/hbk; 978-1-394-23597-1/ebook). xxi, 506 p. (2024).
Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638
Mathematical foundations of information sciences. (English) Zbl 1537.03002
Singapore: World Scientific (ISBN 978-981-12-8888-3/hbk; 978-981-12-9025-1/pbk; 978-981-12-8890-6/ebook). xii, 151 p. (2024).
Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas. (English) Zbl 07833683
The existential fragment of second-order propositional intuitionistic logic is undecidable. (English) Zbl 07821018
MSC:
03-XX
Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 1537.03091
Reviewer: Roman Kossak (New York)
Cut elimination by unthreading. (English) Zbl 07790938
Logic for justice. An introduction to formal logic with an emphasis on political reform. (English) Zbl 1542.03002
Milton Park, Abingdon: Routledge (ISBN 978-1-032-06158-0/hbk; 978-1-032-06157-3/pbk; 978-1-003-20097-0/ebook). xv, 241 p. (2024).
On propositional logic semirings. arXiv:2401.09043
Preprint, arXiv:2401.09043 [math.LO] (2024).
From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers. (English) Zbl 07918427
MSC:
68-XX
Modal logics with non-rigid propositional designators. (English) Zbl 07871911
Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 47-62 (2023).
MSC:
68T27
A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic. (English) Zbl 1542.03033
Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 100-119 (2023).
Boosting definability bipartition computation using SAT witnesses. (English) Zbl 07855154
Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 697-711 (2023).
MSC:
68T27
Verified completeness in Henkin-style for intuitionistic propositional logic. (English) Zbl 1535.68467
Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 36-48 (2023).
Using extended resolution to represent strongly connected components of directed graphs. (English) Zbl 07822959
Depth-bounded reasoning. Volume 1: classical propositional logic. (English) Zbl 1542.03001
Studies in Logic (London) 102. Logic and Bounded Rationality. London: College Publications (ISBN 978-1-84890-442-2). 202 p. (2023).
Parameterized complexity of propositional inclusion and independence logic. (English) Zbl 07810570
Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 274-291 (2023).
MSC:
03B70
Formula normalizations in verification. (English) Zbl 07798108
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 398-422 (2023).
Book review of: Y. A. Gonczarowski and N. Nisan, Mathematical logic through Python. (English) Zbl 1539.00027
Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 1541.03080
Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023).
Geometric modal logic. (English) Zbl 1529.03150
Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1529.68008
Intelligent Systems Reference Library 245. Cham: Springer (ISBN 978-3-031-42033-7/hbk; 978-3-031-42036-8/pbk; 978-3-031-42034-4/ebook). xxxiii, 461 p. (2023).
Propositional proof skeletons. (English) Zbl 1543.68258
Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 329-347 (2023).
Measuring inconsistency in generalized propositional logic extended with nonunary operators. (English) Zbl 1540.03053
Reviewer: Alexandre Costa-Leite (Brasília)
The logic of lexical connectives. (English) Zbl 07753832
MSC:
03-XX
On the complexity of Kleene algebra with domain. (English) Zbl 07728641
Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 208-223 (2023).
MSC:
68Qxx
An isomorphism-invariant distance function on propositional formulas in CNF. (English) Zbl 1523.68044
Grounding and propositional identity: a solution to Wilhelm’s inconsistencies. (English) Zbl 1530.03038
MSC:
03A05
Archaeology of logic. (English) Zbl 1542.03007
Boca Raton, FL: CRC Press/Science Publishers (ISBN 978-1-032-32734-1/hbk; 978-1-032-32737-2/pbk; 978-1-003-31646-6/ebook). xix, 419 p. (2023).
Reviewer: Jens Lemanski (Münster)
R-calculus. IV: Propositional logic. (English) Zbl 07677430
Perspectives in Formal Induction, Revision and Evolution. Beijing: Science Press; Singapore: Springer (ISBN 978-981-19-8632-1/hbk; 978-981-19-8635-2/pbk; 978-981-19-8633-8/ebook). xiii, 252 p. (2023).
Operands and instances. (English) Zbl 07658885
MSC:
03B16
Modern mathematical logic. (English) Zbl 07553161
Cambridge Mathematical Textbooks. Cambridge: Cambridge University Press (ISBN 978-1-108-83314-1/hbk; 978-1-108-97310-6/ebook). xiv, 502 p. (2023).
On three-valued presentations of classical logic. arXiv:2312.16035
Preprint, arXiv:2312.16035 [math.LO] (2023).
Ordered homomorphisms and kernels of ordered BCI-algebras. arXiv:2307.11362
Preprint, arXiv:2307.11362 [math.RA] (2023).
Resolution for Constrained Pseudo-Propositional Logic. arXiv:2306.06630
Preprint, arXiv:2306.06630 [math.LO] (2023).
MSC:
03B05
Temporal truth and bivalence an anachronistic formal approach to Aristotle’s De Interpretatione 9. arXiv:2303.14529
Preprint, arXiv:2303.14529 [math.HO] (2023).
Logical diagrams, visualization criteria, and Boolean algebras. (English) Zbl 07909181
Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 195-224 (2022).
The square of opposition as a framework for Stephen Langton’s theological solutions. (English) Zbl 07909177
Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 109-121 (2022).
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages. (English) Zbl 07896561
Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 28, 19 p. (2022).
MSC:
68Q85
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).
Propositional satisfiability logic via ant colony optimization in Hopfield neural network. (English) Zbl 07807408
Jumping evaluation of nested regular path queries. (English) Zbl 1528.68100
Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 79-92 (2022).
Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 1543.03012
Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022).
The representation of negative terms with Euler diagrams. (English) Zbl 1543.03043
Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 43-58 (2022).
Representing formulas of propositional logic by cographs, permutations and tables. (English) Zbl 1524.03012
Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 312-320 (2022).
MSC:
03B05
Weighted propositional configuration logic over De Morgan algebras. (English) Zbl 07719133
Poulakis, Dimitrios (ed.) et al., Algebraic informatics. 9th international conference, CAI 2022, virtual event, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13706, 81-100 (2022).
MSC:
68Qxx
What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? (English) Zbl 1541.03016
Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 175-189 (2022).
MSC:
03B20
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).
Representations of normalized formulas. (Russian. English summary) Zbl 07656037
Modal logics that are both monotone and antitone: Makinson’s extension results and affinities between logics. (English) Zbl 07634481
Cyclic proofs, hypersequents, and transitive closure logic. (English) Zbl 07628206
Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 509-528 (2022).
MSC:
68V15
Measuring inconsistency in some logics with tense operators. (English) Zbl 1506.03069
Reviewer: Valentin F. Goranko (Stockholm)
Abductive reasoning in intuitionistic propositional logic via theorem synthesis. (English) Zbl 1541.68424
Coproduct and amalgamation of deductive systems by means of ordered algebras. (English) Zbl 1500.03003
Reviewer: Sergejs Solovjovs (Praha)
Why does propositional quantification make modal and temporal logics on trees robustly hard? (English) Zbl 07577569
A modal view on resource-bounded propositional logics. (English) Zbl 07562024
Stud. Log. 110, No. 4, 1035-1080 (2022); correction ibid. 110, No. 6, 1537-1538 (2022).
MSC:
03-XX
Unification with parameters in the implication fragment of classical propositional logic. (English) Zbl 1494.03025
MSC:
03B05
An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic. (English) Zbl 07557514
Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. (English) Zbl 07556133
Mathematical logic through Python. (English) Zbl 1495.03001
Cambridge: Cambridge University Press (ISBN 978-1-108-84507-6/hbk; 978-1-108-94947-7/pbk; 978-1-108-95446-4/ebook). xii, 272 p. (2022).
Filter Results by …
Document Type
- Journal Articles (2,730)
- Collection Articles (790)
- Books (404)
- arXiv Preprints (35)
all
top 5
Author
- Rose, Alan (25)
- Wang, Guojun (23)
- Buss, Samuel R. (22)
- Došen, Kosta (22)
- Gabbay, Dov M. (19)
- Kleine Büning, Hans (18)
- Urquhart, Alasdair (16)
- Xu, Yang (16)
- Pogorzelski, Witold A. (15)
- Krajíček, Jan (14)
- Maksimova, Larisa L’vovna (14)
- Orłowska, Ewa S. (14)
- Pudlák, Pavel (14)
- Rybakov, Vladimir Vladimirovich (14)
- Fariñas del Cerro, Luis (13)
- Mints, Grigoriĭ Efroimovich (13)
- Duan, Zhenhua (12)
- Muravitsky, Alexei Yu. (12)
- Dywan, Zdzisław (11)
- Haeusler, Edward Hermann (11)
- Herzig, Andreas (11)
- Muzio, Jon C. (11)
- Skvortsov, Dmitrij (11)
- Tanaka, Shotaro (11)
- Wojtylak, Piotr (11)
- Zakharyaschev, Michael Viktorovich (11)
- Balbiani, Philippe (10)
- Clarke, Edmund Melson jun. (10)
- Creignou, Nadia (10)
- Cresswell, Maxwell John (10)
- Epstein, Richard L. (10)
- Halpern, Joseph Yehuda (10)
- Kozen, Dexter C. (10)
- Kullmann, Oliver (10)
- Tian, Cong (10)
- Zhao, Xishun (10)
- Ardeshir, Mohammad (9)
- Avron, Arnon (9)
- Chimev, Kiril N. (9)
- Chubaryan, Anahit A. (9)
- D’Agostino, Marcello (9)
- Ferrari, Mauro (9)
- Hosoi, Tsutomu (9)
- Iseki, Kiyoshi (9)
- Makino, Kazuhisa (9)
- Makinson, David Clement (9)
- Malinowski, Grzegorz (9)
- Marek, V. Wiktor (9)
- Pietarinen, Ahti-Veikko (9)
- Połacik, Tomasz (9)
- Rašković, Miodrag D. (9)
- Sedlár, Igor (9)
- Boričić, Branislav R. (8)
- Fiorentini, Camillo (8)
- Goldblatt, Robert Ian (8)
- Goré, Rajeev Prabhakar (8)
- Hooker, John N. jun. (8)
- Manna, Zohar (8)
- Meredith, David (8)
- Ognjanović, Zoran (8)
- Ono, Hiroakira (8)
- Pirog-Rzepecka, Krystyna (8)
- Pitassi, Toniann (8)
- Prucnal, Tadeusz (8)
- Pynko, Alexej P. (8)
- Qin, Keyun (8)
- Schmidt, Renate A. (8)
- Tyugu, Ènn Kharal’dovich (8)
- van Benthem, Johan F. A. K. (8)
- Wojcicki, Ryszard (8)
- Woltran, Stefan (8)
- Yashin, Aleksandr D. (8)
- Zhu, Wujia (8)
- Béziau, Jean-Yves (7)
- Caferra, Ricardo (7)
- Chagrov, Aleksandr Vasil’evich (7)
- Ghilardi, Silvio (7)
- Grant, John R. (7)
- Harel, David (7)
- Humberstone, Lloyd (7)
- Inoué, Takao (7)
- Kolany, Adam (7)
- Li, Wei (7)
- Markin, Vladimir Il’ich (7)
- Mundici, Daniele (7)
- Parikh, Rohit (7)
- Peltier, Nicolas (7)
- Pliuškevičius, Regimantas (7)
- Popov, Vladimir Mikhailovich (7)
- Prade, Henri M. (7)
- Shilov, Nikolay V. (7)
- Sui, Yuefei (7)
- Szeider, Stefan (7)
- Tokarz, Marek (7)
- Tzameret, Iddo (7)
- Wansing, Heinrich Theodor (7)
- Wolter, Frank (7)
- Wu, Hongbo (7)
- Zaionc, Marek (7)
- Zhou, Hongjun (7)
- and 3,127 more Authors
all
top 5
Serial
- Notre Dame J. Formal Logic (202)
- Stud. Log. (176)
- J. Symb. Log. (67)
- Z. Math. Logik Grundlagen Math. (67)
- J. Philos. Log. (63)
- Theor. Comput. Sci. (60)
- Log. Anal., Nouv. Sér. (56)
- Ann. Pure Appl. Logic (55)
- J. Log. Comput. (55)
- Bull. Sect. Logic, Pol. Acad. Sci. (55)
- Rep. Math. Logic (50)
- Log. J. IGPL (47)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (37)
- Log. Univers. (33)
- Inf. Process. Lett. (32)
- Arch. Math. Logic (31)
- Ann. Math. Artif. Intell. (31)
- Synthese (30)
- J. Appl. Non-Class. Log. (30)
- J. Autom. Reasoning (29)
- Proc. Japan Acad. (28)
- Inf. Comput. (24)
- Rev. Symb. Log. (23)
- Hist. Philos. Log. (21)
- Artif. Intell. (20)
- Math. Notes (20)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (20)
- Math. Log. Q. (20)
- Log. Log. Philos. (20)
- Int. J. Theor. Phys. (19)
- J. Logic Lang. Inf. (18)
- Fundam. Inform. (18)
- SIAM J. Comput. (17)
- J. Comput. Syst. Sci. (16)
- Publ. Inst. Math., Nouv. Sér. (16)
- Int. J. Approx. Reasoning (16)
- Fuzzy Syst. Math. (16)
- Log. Methods Comput. Sci. (15)
- Fuzzy Sets Syst. (14)
- IEEE Trans. Comput. (14)
- ACM Trans. Comput. Log. (14)
- Algebra Logic (13)
- Inf. Sci. (13)
- Sov. Math., Dokl. (13)
- J. Softw. (13)
- J. Shaanxi Norm. Univ., Nat. Sci. Ed. (12)
- Log. Issled. (12)
- Discrete Appl. Math. (11)
- Zesz. Nauk. Wyższ. Szk. Pedagog. Opolu, Mat. (11)
- Bull. Symb. Log. (11)
- Australas. J. Log. (11)
- C. R. Acad. Sci., Paris, Sér. A (11)
- Diskret. Analiz, Novosibirsk (11)
- An. Univ. București, Ser. Acta Logica (11)
- Mat. Logika Primen. (10)
- Probl. Kibern. (10)
- Arch. Math. Logik Grundlagenforsch. (9)
- Analysis, Oxf. (9)
- J. Appl. Log. (9)
- Kibernetika (8)
- Kybernetika (8)
- Math. Struct. Comput. Sci. (8)
- C. R. Acad. Bulg. Sci. (8)
- Elektron. Informationsverarbeitung Kybernetik (8)
- God. Vissh. Tekh. Uchebn. Zaved., Mat. (8)
- Acta Inf. (7)
- Avtom. Vychisl. Tekh. (Riga) (7)
- Acta Cybern. (7)
- Vopr. Kibern., Mosk. (7)
- Semiotika Inf. (7)
- Stud. Log. (Lond.) (7)
- Zh. Vychisl. Mat. Mat. Fiz. (6)
- Inf. Control (6)
- J. Assoc. Comput. Mach. (6)
- Int. J. Intell. Syst. (6)
- Comput. Complexity (6)
- J. Artif. Intell. Res. (JAIR) (6)
- Theory Comput. Syst. (6)
- Metalogicon (6)
- RIMS Kokyuroku (6)
- Theory Pract. Log. Program. (6)
- Reihe Inf. (6)
- Mosc. Univ. Math. Bull. (5)
- Algebra Logika (5)
- Atti Accad. Sci. Lett. Arti Palermo, IV. Ser., Parte I (5)
- J. Sov. Math. (5)
- J. Log. Program. (5)
- Stud. Univ. Babeș-Bolyai, Math. (5)
- J. Fuzzy Math. (5)
- Erkenntnis (5)
- J. Shandong Univ., Nat. Sci. (5)
- Quantum Inf. Process. (5)
- C. R. Acad. Sci., Paris (5)
- Discrete Math. (4)
- God. Vissh. Uchebn. Zaved., Prilozh. Mat. (4)
- Latv. Mat. Ezheg. (4)
- Lett. Math. Phys. (4)
- Mat. Zametki (4)
- Rev. Roum. Math. Pures Appl. (4)
- Diss. Math. (4)
- and 483 more Serials
all
top 5
Year of Publication
- 2024 (29)
- 2023 (40)
- 2022 (56)
- 2021 (48)
- 2020 (51)
- 2019 (59)
- 2018 (82)
- 2017 (69)
- 2016 (87)
- 2015 (96)
- 2014 (91)
- 2013 (68)
- 2012 (65)
- 2011 (78)
- 2010 (78)
- 2009 (77)
- 2008 (84)
- 2007 (63)
- 2006 (74)
- 2005 (52)
- 2004 (58)
- 2003 (49)
- 2002 (56)
- 2001 (84)
- 2000 (72)
- 1999 (97)
- 1998 (90)
- 1997 (99)
- 1996 (77)
- 1995 (74)
- 1994 (57)
- 1993 (78)
- 1992 (84)
- 1991 (72)
- 1990 (86)
- 1989 (85)
- 1988 (57)
- 1987 (66)
- 1986 (54)
- 1985 (81)
- 1984 (76)
- 1983 (66)
- 1982 (82)
- 1981 (65)
- 1980 (68)
- 1979 (81)
- 1978 (57)
- 1977 (65)
- 1976 (57)
- 1975 (69)
- 1974 (87)
- 1973 (79)
- 1972 (67)
- 1971 (33)
- 1970 (22)
- 1969 (8)
- 1968 (12)
- 1967 (18)
- 1966 (25)
- 1965 (27)
- 1964 (8)
- 1963 (4)
- 1962 (4)
- 1961 (1)
- 1960 (4)
- 1959 (1)
- 1958 (2)
- 1957 (3)
- 1956 (2)
- 1955 (2)
- 1954 (7)
- 1953 (1)
- 1952 (3)
- 1951 (2)
- 1945 (1)
- 1938 (3)
- 1936 (6)
- 1930 (1)
- 1926 (1)
- 1884 (1)
- 1880 (1)
- 1879 (1)
- 1875 (1)
- 1874 (6)
- 1873 (4)
- 1871 (1)
- 1869 (1)
all
top 3
Main Field
- 03-XX (3,787)
- 68-XX (1,143)
- 94-XX (224)
- 06-XX (153)
- 01-XX (117)
- 05-XX (87)
- 00-XX (86)
- 81-XX (63)
- 08-XX (51)
- 18-XX (44)
- 91-XX (44)
- 90-XX (35)
- 54-XX (22)
- 60-XX (19)
- 11-XX (15)
- 15-XX (14)
- 97-XX (11)
- 62-XX (10)
- 93-XX (10)
- 20-XX (9)
- 13-XX (8)
- 92-XX (8)
- 51-XX (7)
- 52-XX (7)
- 14-XX (6)
- 46-XX (6)
- 65-XX (6)
- 26-XX (5)
- 12-XX (4)
- 34-XX (4)
- 82-XX (4)
- 22-XX (3)
- 37-XX (3)
- 53-XX (3)
- 16-XX (2)
- 28-XX (2)
- 42-XX (2)
- 58-XX (2)
- 78-XX (2)
- 17-XX (1)
- 19-XX (1)
- 30-XX (1)
- 33-XX (1)
- 39-XX (1)
- 43-XX (1)
- 55-XX (1)
- 57-XX (1)
- 70-XX (1)
- 74-XX (1)
- 83-XX (1)
all
top 3
Biographic Reference
- Frege, Gottlob (2)
- Peirce, Charles Sanders (2)
- Schröder, Ernst (2)
- Aristotle (1)
- Boethius (1)
- Cassirer, Ernst (1)
- Cayley, Arthur (1)
- Cohen, Hermann (1)
- Jaskowski, Stanislaw (1)
- Kempe, Alfred Bray (1)
- Kuznetsov, Aleksander Vladimirovich (1)
- Leibniz, Gottfried Wilhelm (1)
- Lesńiewski, Stanisław (1)
- Łukasiewicz, Jan (1)
- Mints, Grigoriĭ Efroimovich (1)
- Pastore, Annibale M. (1)
- Popper, Karl (1)
- Prawitz, Dag (1)
- Sextus Empiricus (1)
- Słupecki, Jerzy (1)
- Wittgenstein, Ludwig (1)
all
top 3
Software
- Pesca (23)
- MiniSat (17)
- Chaff (15)
- Walksat (9)
- Ltur (8)
- OTTER (8)
- Isabelle (7)
- Leibniz (7)
- Coq (6)
- SATO (6)
- ETPS (5)
- Haskell (5)
- Prover9 (5)
- SPIN (5)
- TPTP (5)
- Glucose (4)
- HeerHugo (4)
- Lingeling (4)
- MUltlog (4)
- Nuprl (4)
- TABLEAUX (4)
- fCube (4)
- sharpSAT (4)
- AFRA (3)
- Automath (3)
- CESAR (3)
- DRAT-trim (3)
- DepQBF (3)
- E Theorem Prover (3)
- GitHub (3)
- HOL (3)
- JBool (3)
- Mace4 (3)
- Mathematica (3)
- OEIS (3)
- PRIZ (3)
- PicoSAT (3)
- Potassco (3)
- QUBE (3)
- SATIRE (3)
- STRIP (3)
- Sledgehammer (3)
- Velev SAT Benchmarks (3)
- nauty (3)
- sQueezeBF (3)
- ABC (2)
- ASSAT (2)
- Archive Formal Proofs (2)
- BerkMin (2)
- Bloqqer (2)
- CERES (2)
- CVC (2)
- Cmodels (2)
- Cyclist (2)
- DKAL (2)
- Datalog (2)
- DeepProbLog (2)
- FaCT++ (2)
- Genocop (2)
- ICS (2)
- ISETL (2)
- Isabelle/HOL (2)
- Isar (2)
- KL-ONE (2)
- LPL software (2)
- LWB (2)
- LoTREC (2)
- MINOS (2)
- Mjollnir (2)
- ModLeanTAP (2)
- Nenofex (2)
- PBS (2)
- PLINK (2)
- PPTLMiner (2)
- PSATO (2)
- Plingeling (2)
- Python (2)
- QUBOS (2)
- Quaffle (2)
- Quantor (2)
- SATCHMO (2)
- SETHEO (2)
- SICStus (2)
- SMT-LIB (2)
- SPASS (2)
- SPIKE (2)
- TTM (2)
- Uppaal (2)
- VAMPIRE (2)
- WASP (2)
- XBOOLE (2)
- clasp (2)
- iProver (2)
- leanCoP (2)
- leanTAP (2)
- 3TAP (1)
- ACL2 (1)
- AIDA (1)
- ALF (1)
- ALGOL 68 (1)
- and 182 more Software Packages
