Studia Logica
短名 | Stud Logica |
Journal Impact | 0.43 |
国际分区 | W_MULTIPLE(Q2) |
期刊索引 | SCI Q2中科院 3 区 |
ISSN | 0039-3215, 1572-8730 |
h-index | 45 |
国内分区 | 数学(3区)数学逻辑学(3区)数学数学(3区)数学哲学(3区) |
LVOV-WARSAW 逻辑、哲学和数学学院的主导思想是通过严格的数学方法来研究哲学问题。学校所经历的巨大成功的证据是它已被普遍认为是波兰风格的逻辑。今天,波兰风格逻辑不再是波兰的专长。它由来自世界各地研究中心的众多逻辑学家、数学家和哲学家代表。
期刊主页投稿网址涉及主题 | 计算机科学哲学数学人工智能语言学自然语言处理计算语言学程序设计语言纯数学离散数学域代数上的认识论理论计算机科学描述逻辑医学几何学 |
出版信息 | 出版商: Springer Netherlands,出版周期: 6 issues per year,期刊类型: journal |
基本数据 | 创刊年份: 2004,原创研究文献占比: 100.00%,自引率:16.70%, Gold OA占比: 35.56% |
平均审稿周期 | 网友分享经验:较慢,6-12周 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Editorial Introduction
2024-9-13
Dummett’s Theory of Truth as a Source of Connexivity
2024-9-2
Topic-Based Communication Between Agents
2024-8-31
Alpha-Structures and Ladders in Logical Geometry
2024-8-27
Substitutional Quantification in Truth-Theories for Modal Languages
2024-8-20
Distributive PBZ$$^{*}$$-lattices
2024-8-20
Logic Families
2024-8-12
Wright’s First-Order Logic of Strict Finitism
2024-8-12
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$
2024-7-30
The McKinsey Axiom on Weakly Transitive Frames
2024-7-29
Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€
2024-7-25
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
2024-7-23
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures
2024-7-23
Dynamic Logics of Diffusion and Link Changes on Social Networks
2024-7-17
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics
2024-7-15
A Version of Predicate Logic with Two Variables That has an Incompleteness Property
2024-7-15
More Limits of Abductivism About Logic
2024-7-15
Constructive Validity of a Generalized Kreisel–Putnam Rule
2024-7-15
Free Constructions in Hoops via $$\ell $$-Groups
2024-7-15
Decidability of Inquisitive Modal Logic via Filtrations
2024-7-15
The Sum Relation as a Primitive Concept of Mereology
2024-7-1
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
2024-7-1
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1
2024-6-25
Enriched Quantales Arising from Complete Orthomodular Lattices
2024-6-6
Higher-Level Paradoxes and Substructural Solutions
2024-6-6
De Morgan-Płonka Sums
2024-5-21
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics
2024-5-21
Categorical Proof-theoretic Semantics
2024-5-3
Very True Operators on Pre-semi-Nelson Algebras
2024-5-3
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension
2024-5-3
A Model Theory of Topology
2024-5-3
On a Generalization of Heyting Algebras I
2024-5-3
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
2024-5-3
On Weak Lewis Distributive Lattices
2024-5-3
Valuation Semantics for S4
2024-5-3
Paraconsistency in Non-Fregean Framework
2024-5-3
Propositional Type Theory of Indeterminacy
2024-5-3
Categoricity Problem for LP and K3
2024-5-3
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D
2024-4-25
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook).
2024-4-25
On a First-Order Bi-Sorted Semantically Closed Language
2024-4-25
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic
2024-4-24
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic
2024-3-18
Finite Hilbert Systems for Weak Kleene Logics
2024-3-16
Jaśkowski and the Jains
2024-3-13
Variations on the Kripke Trick
2024-3-6
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
2024-3-6
On Geometric Implications
2024-3-6
Angell and McCall Meet Wansing
2024-2-17
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs
2024-2-16
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远