Field of Research: Philosophy & Religion » Category: Logic
Agricultural Sciences
Arts & Humanities
Biology & Biochemistry
Chemistry
Clinical Medicine
Computer Science
Economics & Business
Engineering
Environment and Ecology
Geosciences
History & Archaeology
Literature & Language
Materials Science
Mathematics
Multidisciplinary
Philosophy & Religion
Physics
Plant & Animal Science
Psychiatry and Psychology
Social Sciences
Visual & Performing Arts
Ethics
History & Philosophy of Science
Logic
Medical Ethics
Medieval & Renaissance Studies
Philosophy
Religion

Logic

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
1
Jun
2023
The cofinality of the strong measure zero ideal for κ inaccessible Gold Open Access
Mathematical Logic Quarterly
1
Jun
2023
On splitting trees Gold Open Access
Mathematical Logic Quarterly
1
Jun
2023
Nice ℵ1 generated non‐P‐points, Part I Gold Open Access
Mathematical Logic Quarterly
1
Jun
2023
The subset relation and 2‐stratified sentences in set theory and class theory
Mathematical Logic Quarterly
31
May
2023
Kettle logic in abstract argumentation Gold Open Access
Journal of Logic and Computation
30
May
2023
Few new reals
Journal of Mathematical Logic
30
May
2023
Frame definability in finitely valued modal logics
Annals of Pure and Applied Logic
30
May
2023
Realisability for infinitary intuitionistic set theory Gold Open Access
Annals of Pure and Applied Logic
30
May
2023
On pp-elimination and stability in a continuous setting
Annals of Pure and Applied Logic
30
May
2023
Carlson-Simpson's lemma and applications in reverse mathematics
Annals of Pure and Applied Logic
30
May
2023
Fresh function spectra Gold Open Access
Annals of Pure and Applied Logic
30
May
2023
Elementary analytic functions in VTC0
Annals of Pure and Applied Logic
30
May
2023
Bilinear spaces over a fixed field are simple unstable Gold Open Access
Annals of Pure and Applied Logic
30
May
2023
Arthur N. Prior on the Labours of Ł3 Conjunctions
History and Philosophy of Logic
29
May
2023
$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics Gold Open Access
Studia Logica
29
May
2023
JSL volume 88 issue 2 Cover and Front matter
Journal of Symbolic Logic
29
May
2023
JSL volume 88 issue 2 Cover and Back matter
Journal of Symbolic Logic
29
May
2023
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND
Journal of Symbolic Logic
29
May
2023
A Formal Model for Blockchain-Based Consent Management in Data Sharing
Journal of Logical and Algebraic Methods in Programming
29
May
2023
Editorial Board
Journal of Logical and Algebraic Methods in Programming
28
May
2023
VARIETIES OF CLASS-THEORETIC POTENTIALISM
Review of Symbolic Logic
28
May
2023
Revising the Elenchus via Belief Revision
Logica Universalis
27
May
2023
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
ACM Transactions on Computational Logic
27
May
2023
Incomparable Vγ$V_\gamma$‐degrees
Mathematical Logic Quarterly
27
May
2023
A note on fsg$\text{fsg}$ groups in p ‐adically closed fields
Mathematical Logic Quarterly
27
May
2023
Strongly unfoldable, splitting and bounding Gold Open Access
Mathematical Logic Quarterly
27
May
2023
sm ProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation Gold Open Access
Theory and Practice of Logic Programming
26
May
2023
An AEC framework for fields with commuting automorphisms Gold Open Access
Archive for Mathematical Logic
26
May
2023
On the non-existence of $$\kappa $$-mad families
Archive for Mathematical Logic
25
May
2023
Maximal models up to the first measurable in ZFC
Journal of Mathematical Logic
25
May
2023
Logical metatheorems for accretive and (generalized) monotone set-valued operators
Journal of Mathematical Logic
25
May
2023
Blowing up the power of a singular cardinal of uncountable cofinality with collapses
Annals of Pure and Applied Logic
25
May
2023
Editorial Board
Annals of Pure and Applied Logic
25
May
2023
Forcing the Π31-Reduction Property and a Failure of Π31-Uniformization
Annals of Pure and Applied Logic
25
May
2023
Cohen Preservation and Independence Gold Open Access
Annals of Pure and Applied Logic
25
May
2023
On minimal flows and definable amenability in some distal NIP theories
Annals of Pure and Applied Logic
25
May
2023
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES
Journal of Symbolic Logic
23
May
2023
Relation-changing models meet paraconsistency Gold Open Access
Journal of Logical and Algebraic Methods in Programming
23
May
2023
A formal semantics for agent distribution and fault tolerance in Jason Gold Open Access
Journal of Logical and Algebraic Methods in Programming
22
May
2023
Local Search For Satisfiability Modulo Integer Arithmetic Theories
ACM Transactions on Computational Logic
2.9309070110321