Studia Logica

短名Stud Logica
Journal Impact0.43
国际分区W_MULTIPLE(Q2)
期刊索引SCI Q2中科院 3 区
ISSN0039-3215, 1572-8730
h-index45
国内分区数学(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

A Version of Predicate Logic with Two Variables That has an Incompleteness Property

2024-7-15

Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics

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,高效的论文管理

投稿经验分享

分享我的经验,帮你走得更远

Built withby Ivy Science
Copyright © 2020-2024
版权所有:南京青藤格致信息科技有限公司