Field of Research: Computer Science » 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
Automation & Control Systems
Computer Science, Artificial Intelligence
Computer Science, Cybernetics
Computer Science, Hardware & Architecture
Computer Science, Information Systems
Computer Science, Interdisciplinary Applications
Computer Science, Software Engineering
Computer Science, Theory & Methods
Information Science & Library Science
Logic
Mathematical & Computational Biology
Medical Informatics
Radiology, Nuclear Medicine & Medical Imaging
Robotics

Logic

Latest Papers
(Limited to the last 10 days and a maximum of 250 papers)
1
Apr
2025
Editorial Board
Annals of Pure and Applied Logic
1
Apr
2025
Radulphus Brito (1290s) on the Syllogism: A Pragmatic Account Gold Open Access
History and Philosophy of Logic
28
Mar
2025
Saturation properties of ultrafilters in canonical inner models
Journal of Mathematical Logic
28
Mar
2025
Generics in invariant subsets of the group of order preserving permutations of Q
Annals of Pure and Applied Logic
27
Mar
2025
Variations on the Calculi $$C_n$$ of da Costa
Studia Logica
27
Mar
2025
COUNTEREXAMPLES IN EFFECTIVE TOPOLOGY
Journal of Symbolic Logic
25
Mar
2025
Consequence, Signification and Insolubles in Fourteenth-Century Logic Gold Open Access
Logica Universalis
25
Mar
2025
Hypersequent calculi for propositional default logics
ACM Transactions on Computational Logic
25
Mar
2025
Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic
Logic Journal of the Igpl
25
Mar
2025
Ivanova contact join-semilattices are not finitely axiomatizable
Logic Journal of the Igpl
24
Mar
2025
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
Journal of Logic and Computation
23
Mar
2025
Extender-based Magidor-Radin forcings without top extenders
Annals of Pure and Applied Logic
23
Mar
2025
Upward Löwenheim-Skolem-Tarski numbers for abstract logics Gold Open Access
Annals of Pure and Applied Logic
0.3573260307312