Subjects -> MATHEMATICS (Total: 1061 journals)     - APPLIED MATHEMATICS (86 journals)    - GEOMETRY AND TOPOLOGY (23 journals)    - MATHEMATICS (783 journals)    - MATHEMATICS (GENERAL) (43 journals)    - NUMERICAL ANALYSIS (23 journals)    - PROBABILITIES AND MATH STATISTICS (103 journals) MATHEMATICS (783 journals)                  1 2 3 4 | Last
 Showing 1 - 200 of 538 Journals sorted alphabetically Abakós       (Followers: 5) Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg       (Followers: 4) Academic Voices : A Multidisciplinary Journal       (Followers: 2) Accounting Perspectives       (Followers: 7) ACM Transactions on Algorithms (TALG)       (Followers: 16) ACM Transactions on Computational Logic (TOCL)       (Followers: 3) ACM Transactions on Mathematical Software (TOMS)       (Followers: 6) ACS Applied Materials & Interfaces       (Followers: 39) Acta Applicandae Mathematicae       (Followers: 1) Acta Mathematica       (Followers: 12) Acta Mathematica Hungarica       (Followers: 2) Acta Mathematica Scientia       (Followers: 5) Acta Mathematica Sinica, English Series       (Followers: 6) Acta Mathematica Vietnamica Acta Mathematicae Applicatae Sinica, English Series Advanced Science Letters       (Followers: 12) Advances in Applied Clifford Algebras       (Followers: 4) Advances in Calculus of Variations       (Followers: 6) Advances in Catalysis       (Followers: 5) Advances in Complex Systems       (Followers: 10) Advances in Computational Mathematics       (Followers: 23) Advances in Decision Sciences       (Followers: 4) Advances in Difference Equations       (Followers: 3) Advances in Fixed Point Theory       (Followers: 8) Advances in Geosciences (ADGEO)       (Followers: 17) Advances in Linear Algebra & Matrix Theory       (Followers: 11) Advances in Materials Science       (Followers: 18) Advances in Mathematical Physics       (Followers: 8) Advances in Mathematics       (Followers: 17) Advances in Nonlinear Analysis       (Followers: 1) Advances in Numerical Analysis       (Followers: 9) Advances in Operations Research       (Followers: 13) Advances in Porous Media       (Followers: 5) Advances in Pure and Applied Mathematics       (Followers: 10) Advances in Pure Mathematics       (Followers: 10) Advances in Science and Research (ASR)       (Followers: 8) Aequationes Mathematicae       (Followers: 2) African Journal of Educational Studies in Mathematics and Sciences       (Followers: 9) African Journal of Mathematics and Computer Science Research       (Followers: 6) Afrika Matematika       (Followers: 3) Air, Soil & Water Research       (Followers: 13) AKSIOMA Journal of Mathematics Education       (Followers: 3) Al-Jabar : Jurnal Pendidikan Matematika       (Followers: 1) Algebra and Logic       (Followers: 7) Algebra Colloquium       (Followers: 4) Algebra Universalis       (Followers: 2) Algorithmic Operations Research       (Followers: 5) Algorithms       (Followers: 12) Algorithms Research       (Followers: 1) American Journal of Computational and Applied Mathematics       (Followers: 10) American Journal of Mathematical Analysis       (Followers: 2) American Journal of Mathematical and Management Sciences American Journal of Mathematics       (Followers: 7) American Journal of Operations Research       (Followers: 8) American Mathematical Monthly       (Followers: 6) An International Journal of Optimization and Control: Theories & Applications       (Followers: 11) Anadol University Journal of Science and Technology B : Theoritical Sciences Analele Universitatii Ovidius Constanta - Seria Matematica Analysis and Applications       (Followers: 1) Analysis and Mathematical Physics       (Followers: 6) Analysis Mathematica Analysis. International mathematical journal of analysis and its applications       (Followers: 5) Annales Mathematicae Silesianae       (Followers: 2) Annales mathématiques du Québec       (Followers: 4) Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica       (Followers: 1) Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica Annali di Matematica Pura ed Applicata       (Followers: 1) Annals of Combinatorics       (Followers: 4) Annals of Data Science       (Followers: 13) Annals of Discrete Mathematics       (Followers: 7) Annals of Mathematics       (Followers: 2) Annals of Mathematics and Artificial Intelligence       (Followers: 14) Annals of PDE Annals of Pure and Applied Logic       (Followers: 4) Annals of the Alexandru Ioan Cuza University - Mathematics Annals of the Institute of Statistical Mathematics       (Followers: 1) Annals of West University of Timisoara - Mathematics Annals of West University of Timisoara - Mathematics and Computer Science       (Followers: 1) Annuaire du Collège de France       (Followers: 6) ANZIAM Journal       (Followers: 1) Applicable Algebra in Engineering, Communication and Computing       (Followers: 3) Applications of Mathematics       (Followers: 3) Applied Categorical Structures       (Followers: 4) Applied Computational Intelligence and Soft Computing       (Followers: 14) Applied Mathematics       (Followers: 4) Applied Mathematics       (Followers: 8) Applied Mathematics & Optimization       (Followers: 10) Applied Mathematics - A Journal of Chinese Universities       (Followers: 1) Applied Mathematics and Nonlinear Sciences Applied Mathematics Letters       (Followers: 4) Applied Mathematics Research eXpress       (Followers: 1) Applied Network Science       (Followers: 3) Applied Numerical Mathematics       (Followers: 5) Applied Spatial Analysis and Policy       (Followers: 6) Arab Journal of Mathematical Sciences       (Followers: 4) Arabian Journal of Mathematics       (Followers: 2) Archive for Mathematical Logic       (Followers: 3) Archive of Applied Mechanics       (Followers: 6) Archive of Numerical Software Archives of Computational Methods in Engineering       (Followers: 6) Arkiv för Matematik       (Followers: 1) Armenian Journal of Mathematics       (Followers: 1) Arnold Mathematical Journal       (Followers: 1) Artificial Satellites       (Followers: 25) Asia-Pacific Journal of Operational Research       (Followers: 3) Asian Journal of Algebra       (Followers: 1) Asian Research Journal of Mathematics       (Followers: 2) Asian-European Journal of Mathematics       (Followers: 3) Australian Mathematics Teacher, The       (Followers: 7) Australian Primary Mathematics Classroom       (Followers: 5) Australian Senior Mathematics Journal       (Followers: 2) Automatic Documentation and Mathematical Linguistics       (Followers: 5) Axioms       (Followers: 1) Baltic International Yearbook of Cognition, Logic and Communication       (Followers: 1) Basin Research       (Followers: 5) BIBECHANA       (Followers: 2) Biomath BIT Numerical Mathematics       (Followers: 1) Boletim Cearense de Educação e História da Matemática Boletim de Educação Matemática Boletín de la Sociedad Matemática Mexicana Bollettino dell'Unione Matematica Italiana       (Followers: 2) British Journal of Mathematical and Statistical Psychology       (Followers: 19) Bruno Pini Mathematical Analysis Seminar Buletinul Academiei de Stiinte a Republicii Moldova. Matematica       (Followers: 13) Bulletin des Sciences Mathamatiques       (Followers: 4) Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory       (Followers: 3) Bulletin of Mathematical Sciences       (Followers: 1) Bulletin of Symbolic Logic       (Followers: 2) Bulletin of the Australian Mathematical Society       (Followers: 2) Bulletin of the Brazilian Mathematical Society, New Series Bulletin of the Iranian Mathematical Society Bulletin of the London Mathematical Society       (Followers: 3) Bulletin of the Malaysian Mathematical Sciences Society Calculus of Variations and Partial Differential Equations Canadian Journal of Mathematics / Journal canadien de mathématiques Canadian Journal of Science, Mathematics and Technology Education       (Followers: 21) Canadian Mathematical Bulletin Carpathian Mathematical Publications       (Followers: 1) Catalysis in Industry       (Followers: 1) CEAS Space Journal       (Followers: 2) CHANCE       (Followers: 5) Chaos, Solitons & Fractals       (Followers: 3) Chaos, Solitons & Fractals : X ChemSusChem       (Followers: 8) Chinese Annals of Mathematics, Series B Chinese Journal of Catalysis       (Followers: 2) Chinese Journal of Mathematics Ciencia       (Followers: 2) Clean Air Journal       (Followers: 1) Cogent Mathematics       (Followers: 2) Cognitive Computation       (Followers: 3) Collectanea Mathematica College Mathematics Journal       (Followers: 4) COMBINATORICA Combinatorics, Probability and Computing       (Followers: 4) Combustion Theory and Modelling       (Followers: 15) Commentarii Mathematici Helvetici Communications in Advanced Mathematical Sciences Communications in Combinatorics and Optimization Communications in Contemporary Mathematics Communications in Mathematical Physics       (Followers: 4) Communications On Pure & Applied Mathematics       (Followers: 4) Complex Analysis and its Synergies       (Followers: 3) Complex Variables and Elliptic Equations: An International Journal Composite Materials Series       (Followers: 9) Compositio Mathematica Comptes Rendus Mathematique Computational and Applied Mathematics       (Followers: 4) Computational and Mathematical Methods Computational and Mathematical Methods in Medicine       (Followers: 2) Computational and Mathematical Organization Theory       (Followers: 2) Computational Complexity       (Followers: 4) Computational Mathematics and Modeling       (Followers: 10) Computational Mechanics       (Followers: 5) Computational Methods and Function Theory Computational Optimization and Applications       (Followers: 9) Computers & Mathematics with Applications       (Followers: 11) Concrete Operators       (Followers: 4) Confluentes Mathematici Contributions to Game Theory and Management COSMOS Cryptography and Communications       (Followers: 13) Cuadernos de Investigación y Formación en Educación Matemática Cubo. A Mathematical Journal Current Research in Biostatistics       (Followers: 8) Czechoslovak Mathematical Journal       (Followers: 1) Demographic Research       (Followers: 15) Demonstratio Mathematica Dependence Modeling Design Journal : An International Journal for All Aspects of Design       (Followers: 31) Developments in Clay Science       (Followers: 1) Developments in Mineral Processing       (Followers: 3) Dhaka University Journal of Science Differential Equations and Dynamical Systems       (Followers: 4) Differentsial'nye Uravneniya Digital Experiences in Mathematics Education Discrete Mathematics       (Followers: 8) Discrete Mathematics & Theoretical Computer Science Discrete Mathematics, Algorithms and Applications       (Followers: 2)

1 2 3 4 | Last

Similar Journals
 Archive for Mathematical LogicJournal Prestige (SJR): 0.909 Citation Impact (citeScore): 1Number of Followers: 3      Hybrid journal (It can contain Open Access articles) ISSN (Print) 1432-0665 - ISSN (Online) 0933-5846 Published by Springer-Verlag  [2570 journals]
• Construction with opposition: cardinal invariants and games
• Abstract: Abstract We consider several game versions of the cardinal invariants $${\mathfrak {t}}$$ , $${\mathfrak {u}}$$ and $${\mathfrak {a}}$$ . We show that the standard proof that parametrized diamond principles prove that the cardinal invariants are small actually shows that their game counterparts are small. On the other hand we show that $${\mathfrak {t}}<{\mathfrak {t}}_{Builder}$$ and $${\mathfrak {u}}<{\mathfrak {u}}_{Builder}$$ are both relatively consistent with ZFC, where $${\mathfrak {t}}_{Builder}$$ and $${\mathfrak {u}}_{Builder}$$ are the principal game versions of $${\mathfrak {t}}$$ and $${\mathfrak {u}}$$ , respectively. The corresponding question for $${\mathfrak {a}}$$ remains open.
PubDate: 2019-03-22

• Continuous triangular norm based fuzzy topology
• Abstract: Abstract For each continuous t-norm &, a class of fuzzy topological spaces, called &-topological spaces, is introduced. The motivation stems from the idea that to each many-valued logic there may correspond a theory of many-valued topology, in particular, each continuous t-norm may lead to a theory of fuzzy topology. It is shown that for each continuous t-norm &, the subcategory consisting of &-topological spaces is simultaneously reflective and coreflective in the category of fuzzy topological spaces, hence gives rise to an autonomous theory of fuzzy topology. Topologizing a fuzzy pre-ordered set with the fuzzy Scott topology yields a functor from the category of fuzzy pre-ordered sets and maps that preserve suprema of flat ideals to the category of &-topological spaces. It is proved that this functor is a full one if and only if the t-norm & is Archimedean.
PubDate: 2019-03-16

• Ideals of independence
• Abstract: Abstract We study two ideals which are naturally associated to independent families. The first of them, denoted $$\mathcal {J}_\mathcal {A}$$ , is characterized by a diagonalization property which allows along a cofinal sequence (the order type of which of uncountable cofinality) of stages along a finite support iteration to adjoin a maximal independent family. The second ideal, denoted $$\mathrm {id}(\mathcal {A})$$ , originates in Shelah’s proof of $$\mathfrak {i}<\mathfrak {u}$$ in Shelah (Arch Math Log 31(6), 433–443, 1992). We show that for every independent family $$\mathcal {A}$$ , $$\mathrm {id}(\mathcal {A})\subseteq \mathcal {J}_\mathcal {A}$$ and define a class of maximal independent families, to which we refer as densely maximal, for which the two ideals coincide. Building upon the techniques of Shelah (1992) we characterize Sacks indestructibility for such families in terms of properties of $$\mathrm {id}(\mathcal {A})$$ and devise a countably closed poset which adjoins a Sacks indestructible densely maximal independent family.
PubDate: 2019-03-15

• Complete and atomic Tarski algebras
• Abstract: Abstract Tarski algebras, also known as implication algebras or semi-boolean algebras, are the $$\left\{ \rightarrow \right\}$$ -subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove a duality between the complete and atomic Tarski algebras and the class of covering Tarski sets, i.e., structures $$\left<X,{\mathcal {K}}\right>$$ , where X is a non-empty set and $${\mathcal {K}}$$ is non-empty family of subsets of X such that $$\bigcup {\mathcal {K}}=X$$ . This duality is a generalization of the known duality between sets and complete and atomic Boolean algebras. We shall also analize the case of complete and atomic Tarski algebras endowed with a complete modal operator, and we will prove a duality for these algebras.
PubDate: 2019-03-02

• Chainable and circularly chainable semicomputable sets in computable
topological spaces
• Abstract: Abstract We examine conditions under which, in a computable topological space, a semicomputable set is computable. It is known that in a computable metric space a semicomputable set S is computable if S is a continuum chainable from a to b, where a and b are computable points, or S is a circularly chainable continuum which is not chainable. We prove that this result holds in any computable topological space.
PubDate: 2019-03-01

• The strong tree property and the failure of SCH
• Abstract: Abstract Fontanella (J Symb Logic 79(1):193–207, 2014) showed that if $$\langle \kappa _n:n<\omega \rangle$$ is an increasing sequence of supercompacts and $$\nu =\sup _n\kappa _n$$ , then the strong tree property holds at $$\nu ^+$$ . Building on a proof by Neeman (J Math Log 9:139–157, 2010), we show that the strong tree property at $$\kappa ^+$$ is consistent with $$\lnot SCH_\kappa$$ , where $$\kappa$$ is singular strong limit of countable cofinality.
PubDate: 2019-02-25

• The spectrum of independence
• Abstract: Abstract We study the set of possible sizes of maximal independent families to which we refer as spectrum of independence and denote $$\hbox {Spec}(mif)$$ . Here mif abbreviates maximal independent family. We show that: whenever $$\kappa _1<\cdots <\kappa _n$$ are finitely many regular uncountable cardinals, it is consistent that $$\{\kappa _i\}_{i=1}^n\subseteq \hbox {Spec}(mif)$$ ; whenever $$\kappa$$ has uncountable cofinality, it is consistent that $$\hbox {Spec}(mif)=\{\aleph _1,\kappa =\mathfrak {c}\}$$ . Assuming large cardinals, in addition to (1) above, we can provide that \begin{aligned} (\kappa _i,\kappa _{i+1})\cap \hbox {Spec}(mif)=\emptyset \end{aligned} for each i, $$1\le i<n$$ .
PubDate: 2019-02-25

• Using Ramsey’s theorem once
• Abstract: Abstract We show that $$\mathsf {RT} (2,4)$$ cannot be proved with one typical application of $$\mathsf {RT} (2,2)$$ in an intuitionistic extension of $${\mathsf {RCA}}_{0}$$ to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach’s axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.
PubDate: 2019-02-22

• Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1
-Suslin sets
• Abstract: Abstract We define a generic Vopěnka cardinal to be an inaccessible cardinal $$\kappa$$ such that for every first-order language $${\mathcal {L}}$$ of cardinality less than $$\kappa$$ and every set $${\mathscr {B}}$$ of $${\mathcal {L}}$$ -structures, if $${\mathscr {B}} = \kappa$$ and every structure in $${\mathscr {B}}$$ has cardinality less than $$\kappa$$ , then an elementary embedding between two structures in $${\mathscr {B}}$$ exists in some generic extension of V. We investigate connections between generic Vopěnka cardinals in models of ZFC and the number and complexity of $$\aleph _1$$ -Suslin sets of reals in models of ZF. In particular, we show that ZFC + (there is a generic Vopěnka cardinal) is equiconsistent with ZF + $$(2^{\aleph _1} \not \le S_{\aleph _1} )$$ where $$S_{\aleph _1}$$ is the pointclass of all $$\aleph _1$$ -Suslin sets of reals, and also with ZF + $$(S_{\aleph _1} = {{\varvec{\Sigma }}}^1_2)$$ + $$(\varTheta = \aleph _2)$$ where $$\varTheta$$ is the least ordinal that is not a surjective image of the reals.
PubDate: 2019-02-20

• Definable valuations induced by multiplicative subgroups and NIP fields
• Abstract: Abstract We study the algebraic implications of the non-independence property and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a (definable) henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” (J Math Log 18(2):1850007, 2018).
PubDate: 2019-02-09

• Prikry forcing and tree Prikry forcing of various filters
• Abstract: Abstract In this paper, we answer a question asked in Koepke et al. (J Symb Logic 78:85–100, 2013) regarding a Mathias criteria for Tree-Prikry forcing. Also we will investigate Prikry forcing using various filters. For completeness and self inclusion reasons, we will give proofs of many known theorems.
PubDate: 2019-02-07

• Truth, disjunction, and induction
• Abstract: Abstract By a well-known result of Kotlarski et al. (1981), first-order Peano arithmetic $${{\mathsf {P}}}{{\mathsf {A}}}$$ can be conservatively extended to the theory $${{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}$$ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to $${{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}$$ while maintaining conservativity over $${{\mathsf {P}}}{{\mathsf {A}}}$$ . Our main result shows that conservativity fails even for the extension of $${{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}$$ obtained by the seemingly weak axiom of disjunctive correctness $${{\mathsf {D}}}{{\mathsf {C}}}$$ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, $${{\mathsf {C}}}{\mathsf {T}}^{-}\mathsf {[PA]}+\mathsf {DC}$$ implies $$\mathsf {Con}(\mathsf {PA})$$ . Our main result states that the theory $${\mathsf {C}}{\mathsf {T}}^{-}\mathsf {[PA]}+\mathsf {DC}$$ coincides with the theory $${\mathsf {C}}{\mathsf {T}}_{0}\mathsf {[PA]}$$ obtained by adding $$\Delta _{0}$$ -induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski (1986) and Cieśliński (2010). For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to (Löb’s version of) Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof (1989).
PubDate: 2019-02-04

• Extendible cardinals and the mantle
• Abstract: Abstract The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.
PubDate: 2019-02-01

• Convexity and unique minimum points
• Abstract: Abstract We show constructively that every quasi-convex, uniformly continuous function $$f:C \rightarrow \mathbb {R}$$ with at most one minimum point has a minimum point, where C is a convex compact subset of a finite dimensional normed space. Applications include a result on strictly quasi-convex functions, a supporting hyperplane theorem, and a short proof of the constructive fundamental theorem of approximation theory.
PubDate: 2019-02-01

• Strange ultrafilters
• Abstract: Abstract We deal with some natural properties of ultrafilters which trivially fail for normal ultrafilters.
PubDate: 2019-02-01

• A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes
• Abstract: Abstract We study classes of atomic models $$\mathbf{At}_T$$ of a countable, complete first-order theory T. We prove that if $$\mathbf{At}_T$$ is not $$\mathrm{pcl}$$ -small, i.e., there is an atomic model N that realizes uncountably many types over $$\mathrm{pcl}_N(\bar{a})$$ for some finite $$\bar{a}$$ from N, then there are $$2^{\aleph _1}$$ non-isomorphic atomic models of T, each of size $$\aleph _1$$ .
PubDate: 2019-02-01

• A model of the generic Vopěnka principle in which the ordinals are
not Mahlo
• Authors: Victoria Gitman; Joel David Hamkins
Abstract: Abstract The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a $$\Delta _2$$ -definable class containing no regular cardinals. In such a model, there can be no $$\Sigma _2$$ -reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.
PubDate: 2018-05-14
DOI: 10.1007/s00153-018-0632-5

• Selfextensional logics with a distributive nearlattice term
• Authors: Luciano J. González
Abstract: Abstract We define when a ternary term m of an algebraic language $$\mathcal {L}$$ is called a distributive nearlattice term ( $$\mathrm {DN}$$ -term) of a sentential logic $$\mathcal {S}$$ . Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a $$\mathrm {DN}$$ -term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras (under the point of view of Abstract Algebraic Logic) associated with a selfextensional logic with a $$\mathrm {DN}$$ -term is a variety, and we obtain that the logic is in fact fully selfextensional.
PubDate: 2018-05-11
DOI: 10.1007/s00153-018-0628-1

• A completeness theorem for continuous predicate modal logic
• Authors: Stefano Baratella
Abstract: Abstract We study a modal extension of the Continuous First-Order Logic of Ben Yaacov and Pedersen (J Symb Logic 75(1):168–190, 2010). We provide a set of axioms for such an extension. Deduction rules are just Modus Ponens and Necessitation. We prove that our system is sound with respect to a Kripke semantics and, building on Ben Yaacov and Pedersen  (2010), that it satisfies a number of properties similar to those of first-order predicate logic. Then, by means of a canonical model construction, we get that every consistent set of formulas is satisfiable. From the latter result we derive an Approximated Strong Completeness Theorem, in the vein of Continuous Logic, and a Compactness Theorem.
PubDate: 2018-05-10
DOI: 10.1007/s00153-018-0630-7

• Sequent calculus for classical logic probabilized
• Authors: Marija Boričić
Abstract: Abstract Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized in the sequent calculus, we introduce the notion of ’probabilized sequent’ $$\Gamma \vdash _a^b\Delta$$ with the intended meaning that “the probability of truthfulness of $$\Gamma \vdash \Delta$$ belongs to the interval [a, b]”. This method makes it possible to define a system of derivations based on ’axioms’ of the form $$\Gamma _i\vdash _{a_i}^{b_i}\Delta _i$$ , obtained as a result of empirical research, and then infer conclusions of the form $$\Gamma \vdash _a^b\Delta$$ . We discuss the consistency, define the models, and prove the soundness and completeness for the defined probabilized sequent calculus.
PubDate: 2018-05-07
DOI: 10.1007/s00153-018-0626-3

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762

Your IP address: 3.214.184.250

Home (Search)
API
About JournalTOCs
News (blog, publications)

JournalTOCs © 2009-