Archive for Mathematical Logic is a peer-reviewed mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

identical at first, but fuzzy logic uses degrees of truth as a mathematical model of vagueness, while probability is a mathematical model of ignorance. A basic...

complexity of the closed fragment of Japaridze's provability logic". Archive for Mathematical Logic 53 (2014), pages 949-967. D. Fernandez-Duque and J. Joosten...

McKubre-Jordens, 2020. Classifying Material Implications over Minimal Logic. Archive for Mathematical Logic 59 (7-8):905-924. Pakin, Scott (January 19, 2017). "The...

philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension...

proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during this period...

Logic, Archiv für mathematische Logik und Grundlagenforschung (Archive for Mathematical Logic and Basic Research) and other journals. He lectured at the University...

in Logic". Israel Journal of Mathematics. 10 (2): 147–157. doi:10.1007/BF02771565. Bagaria, Joan (23 December 2011). "C(n)-cardinals". Archive for Mathematical...

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The...

foundation for mathematics comparable to first-order logic plus set theory. It is a form of higher-order logic and closely related to the logics of the HOL...

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic...

In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence...

In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions...

Companion to Mathematics. Princeton University Press. ISBN 978-0-691-11880-2. J. Bagaria (2012). "C(n)-cardinals". Archive for Mathematical Logic. 51 (3–4):...

}(V_{\lambda +1})} for use as Icarus sets. Consistency of V = HOD With the Wholeness Axiom, Paul Corazza, Archive for Mathematical Logic, No. 39, 2000. V...

addresses the mathematical properties of formal systems of logic. However, it can also include attempts to use logic to analyze mathematical reasoning or...

First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy...

Archiv der Mathematik Archive for Mathematical Logic Archive for Rational Mechanics and Analysis Arkiv för Matematik Arnold Mathematical Journal Ars Combinatoria...

Benedikt (2012-11-01). "The axiom of real Blackwell determinacy". Archive for Mathematical Logic. 51 (7): 671–685. doi:10.1007/s00153-012-0291-x. ISSN 1432-0665...

was a classic work in mathematics that introduced the concept of ordinal logic. The thesis is an exploration of formal mathematical systems after Gödel's...

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded...

mathematics. The resolution of this crisis involved the rise of a new mathematical discipline called mathematical logic, which studies formal logic within...

Hamkins, Joel David (2001), "The wholeness axioms and V = HOD", Archive for Mathematical Logic, 40 (1): 1–8, arXiv:math/9902079, doi:10.1007/s001530050169...

foundation of mathematics has been eventually resolved with the rise of mathematical logic as a new area of mathematics. In this framework, a mathematical or logical...

list of mathematical terms; just a selection of typical terms of art that may be encountered. Logic – Study of correct reasoning Modal logic – Type of...

logic. Annals of Mathematical Logic, Vols 1–23, 1970–1982. Annals of Pure and Applied Logic, 1983 ff. (Successor of the Annals of Mathematical Logic)...

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...

Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fields it is used as a tool for understanding...

calculus, Part I”. Archive for Mathematical Logic 52 (2013), pages 173–212. G.Japaridze, “The taming of recurrences in computability logic through cirquent...