yusuke1997/dblp-id-title huggingface dataset:
A simplification of a completeness proof of Guaspari and Solovay
Multivalued Logic to Transform Potential into Actual Objects
Non-classical Elegance for Sequent Calculus Enthusiasts
Some Metacomplete Relevant Modal Logics
Cn-Definitions of Propositional Connectives
Towards a Grammar of Bayesian Coherentism
The Logic ILP for Intuitionistic Reasoning About Probability
Jakub Szymanik, Quantifiers and Cognition. Logical and Computational Perspectives. Springer, 2016. Pp. xii+211. ISBN: 978-3-319-28749-2 (hardcover) EUR 106, 99; eBook EUR 83, 29
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation
Modal Frame Correspondences and Fixed-Points
Constructing Natural Extensions of Propositional Logics
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
An Axiomatisation of a Pure Calculus of Names
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
Sequent-systems and groupoid models. I
Sahlqvist Correspondence for Modal mu-calculus
Structural Realism, Scientific Change, and Partial Structures
Admissibility of Cut in LC with Fixed Point Combinator
Complete Axiomatizations for Reasoning about Knowledge and Branching Time
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points
Remarks on the Absentminded Driver
Löb's Theorem in a Set Theoretical Setting
Sentential constants in systems near R
Two Decision Procedures for da Costa's C n Logics Based on Restricted Nmatrix Semantics
On Pretabular Logics in NExtK4 (Part II)
Generalizing Deontic Action Logic
Axiomatization of 'Peircean' branching-time logic
Quantum logics and Lindenbaum property
A Practical Approach to Revising Prioritized Knowledge Bases
Ordered sets R and Q as bases of Kripke models
Grounding Megethology on Plural Reference
Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices)
Massimiliano Carrara, Alexandra Arapinis and Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Linguistics, OUP: Oxford, 2016, xv + 259 pp., ISBN: 978-019-8716-32-7 (hardback) £45, (kindle) £36
Indistinguishability, Choices, and Logics of Agency
Bi-Simulating in Bi-Intuitionistic Logic
Remarks on a survey article on many valued logic by A. Urquhart
On Self-Admissible Quasi-Characterizing Inference Rules
On the Predicate Logic of Linear Kripke Frames and some of its Extensions
On Woodruff's Constructive Nonsense Logic
W -algebras which are Boolean products of members of SR [1] and CW -algebras
Difference-Making Conditionals and Connexivity
Extendible Formulas in Two Variables in Intuitionistic Logic
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events
A General Framework for FDE-Based Modal Logics
Dov Gabbay, Reactive Kripke Semantics
Kosta Došen (1954-2017)
Gentzen-type formulation of the prepositional logic LQ
Gentzen-Type Methods for Bilattice Negation
Situation-Based Connexive Logic
Belief contraction without recovery
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
A Sahlqvist Theorem for Relevant Modal Logics
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
A Meta-model of Access Control in a Fibred Security Language
Congruence Lattices of Semilattices with Operators
Intuitionistic Public Announcement Logic with Distributed Knowledge
Structured Meanings and Reflexive Domains
Disentangling FDE-Based Paraconsistent Modal Logics
Sharvy's Lucy and Benjamin Puzzle
Expressive power and semantic completeness: Boolean connectives in modal logic
Gödel on Deduction
On the Variety of m -generalized Lukasiewicz Algebras of Order n
Semisimple Varieties of Modal Algebras
The relative complexity of analytic tableaux and SL-resolution
On Certain Quasivarieties of Quasi-MV Algebras
Inverse Images of Box Formulas in Modal Logic
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$
Deontic Interpreted Systems
Second order propositional operators over Cantor space
A Tale of Four Grammars
Combining Logic II - Introduction
Estimating Conditional Chances and Evaluating Counterfactuals
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
Hyperformulas and Solid Algebraic Systems
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research
Logics for Social Behaviour: An Editorial
On Jaskowski's discussive logic
Fregean logics with the multiterm deduction theorem and their algebraization
Birkhoff-like sheaf representation for varieties of lattice expansions
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Investigation into Combinatory Systems with Dual Combinators
Measuring Uncertainty
On Complete Representations of Reducts of Polyadic Algebras
Dummett's Theory of Truth as a Source of Connexivity
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
Negational Fragment of Intuitionistic Control Logic
Kevin Scharp, Replacing Truth
Willem Blok's Work in Algebraic Logic
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €
Socratic Proofs and Paraconsistency: A Case Study
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics
The Contributions of Logic to the Foundations of Physics: Foreword
Decidability of Lattice Equations
The variety of consequence, according to Bolzano
Giovanni Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, pp. xi+314. ISBN 978-94-007-0430-5 (hardcover) US $139.00
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference
A Survey of Abstract Algebraic Logic
Are There Enough Injective Sets?
Revocable Belief Revision
Tree proofs for syllogistic
Explicit algebraic models for constructive and classical theories with non-standard elements
Decomposition Proof Systems for Gödel-Dummett Logics
Every world can see a reflexive world
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem
Importing Logics
Rivals to Belnap-Dunn Logic on Interlaced Trilattices
Continuous Lattices and Domains
Classifying ℵ 0 -categorical theories
The Logic of Causal Explanation An Axiomatization
Games and Bisimulations for Intuitionistic First-Order Kripke Models
Early Examples of Resource-Consciousness
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
Second-order Non-nonstandard Analysis
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator
A Version of Predicate Logic with Two Variables That has an Incompleteness Property
Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53
Three theories of nominalized predicates
Open questions related to the problem of Birkhoff and Maltsev
The Craig interpolation theorem for prepositional logics with strong negation
On the predicate logic of finite Kripke frames
2-CNFS and Logical Embeddings
First-Order Reasoning and Primitive Recursive Natural Number Notations
A duality between Pawlak's knowledge representation systems and BI-consequence systems
Paradoxes in Double Extension Set Theories
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
Normal Bimodal Logics of Ability and Action
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth
The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
Free Logics are Cut-Free
Infinite Set Unification with Application to Categorial Grammar
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents
Tractability and Intractability of Controlled Languages for Data Access
Universality of the closure space of filters in the algebra of all subsets
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem
Structural Completeness in Relevance Logics
Theory matrices (for modal logics) Using alphabetical monotonicity
Physical Oracles: The Turing Machine and the Wheatstone Bridge
Collective Action as Individual Choice
A Comment on Work by Booth and Co-authors
Enriched Quantales Arising from Complete Orthomodular Lattices
Construction of monadic three-valued Łukasiewicz algebras
Distant Causation in C+
Disjunction and Existence Properties in Inquisitive First-Order Logic
Coherence in cartesian closed categories and the generality of proofs
Infinitary propositional normal modal logic
Semantic trees for Dummett's logic LC
A consistent theory of attributes in a logic without contraction
On Definability of the Equality in Classes of Algebras with an Equivalence Relation
Properties of Goal Systems: Consistency, Conflict, and Coherence
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
On the logic of conscious belief
General canonical models for graded normal logics (graded modalities IV)
Resource-origins of Nonmonotonicity
Logics for Moderate Belief-Disagreement Between Agents
Adaptive Logic Characterizations of Input/Output Logic
Vincent F. Hendricks, Mainstream and Formal Epistemology
Consistency, Truth and Ontology
Logical Connectives on Lattice Effect Algebras
Eight Inference Rules for Implication
Semi-intuitionistic Logic with Strong Negation
Grishin Algebras and Cover Systems for Classical Bilinear Logic
Semantics of Computable Physical Models
Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders
On the Algebraizability of Annotated Logics
Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, pp xii + 282, ISBN 0-306-47712-2
Finite Trees in Tense Logic
On the definability of the quantifier "there exist uncountably many"
The simple substitution property of the intermediate propositional logics on finite slices
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics
Editorial Introduction. Truth Values: Part II
Is "some-other-time" sometimes better than "sometime" for proving partial correctness of programs?
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic
Arrow Logic and Infinite Counting
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics
Equivocation Axiom on First Order Languages
A Modal View on Resource-Bounded Propositional Logics
A note an the omega -incompleteness formalization
Circularities in the Analysis of Counterfactuals
Leibniz Filters Revisited
Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
Grades of Probability Modality in the Law of Evidence
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic
Non-classical Models of ZF
Frame Based Formulas for Intermediate Logics
On Neat Reducts of Algebras of Logic
On the Equivalence Between MV-Algebras and l-Groups with Strong Unit
Importing Logics: Soundness and Completeness Preservation
Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics, Springer, 2018 - Logic, Epistemology, and the Unity of Science, vol. 42
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
The Russian Cards Problem
Variable Domain First-Order First-Degree Entailment and Some of Its Children
Are Logical Languages Compositional?
The Elimination of Direct Self-reference
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences
Standard Gödel Modal Logics
New Foundations for Branching Space-Times
A note on the proof theory of the lambda-II-calculus
Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99
Forcing in Lukasiewicz Predicate Logic
Logical equations and admissible rules of inference with parameters in modal provability logics
Axiomatization of the De Morgan type rules
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic
Jerzy Słupecki (1904-1987): Life and work
On quasivarieties and varieties as categories
Modal Definability Based on Łukasiewicz Validity Relations
Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic
Special Issue on Logical Aspects of Multi-Agent Systems
Proof Systems Combining Classical and Paraconsistent Negations
Consequence and Interpolation in Łukasiewicz Logic
Algebraization of quantifier logics, an introductory overview
An Exactification of the Monoid of Primitive Recursive Functions
Game Logic and its Applications II
Subalgebras of Heyting and De Morgan Heyting Algebras
Stability of weak second-order semantics
Deductive Reasoning in the Structuralist Approach
On Agents That Have the Ability to Choose
Trees and diagrams of decomposition
Proof-Theoretic Semantics for Subsentential Phrases
Brouwer-Zadeh Logic, Decidability and Bimodal Systems
A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
A Proof Theory for the Logic of Provability in True Arithmetic
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle
Connections Between BCK-algebras and Difference Posetse
Complete and atomic algebras of the infinite valued Łukasiewicz logic
Notes on Models of (Partial) Kripke-Feferman Truth
A Framework for Riddles about Truth that do not involve Self-Reference
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms
Constructive Logic with Strong Negation is a Substructural Logic. I
Prime Filters, Normality and Irreducibility in Lattices
Distributive PBZ * -lattices
Some Logics of Iterated Belief Change
Frames and MV-algebras
Stone-Type Representations and Dualities for Varieties of Bisemilattices
On Some Compatible Operations on Heyting Algebras
Logic Games are Complete for Game Logics
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property
Detachment and Defeasibility in Deontic Logic
Contact Join-semilattices
Labeled Calculi and Finite-Valued Logics
Williamson's Abductive Case for the Material Conditional Account
Arithmetic based on the Church numerals in illative combinatory logic
The First-Order Theories of Dedekind Algebras
Proof Nets for the Multimodal Lambek Calculus
An Approach to Glivenko's Theorem in Algebraizable Logics
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications
Semi De Morgan Logic Properly Displayed
Finite basis problems and results for quasivarieties
Averaging the truth-value in Lukasiewicz logic
Implicit connectives of algebraizable logics
Consequence Operations Based on Hypergraph Satisfiability
On the lattice of quasivarieties of Sugihara algebras
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field
A note on syntactical and semantical functions
Game logic and its applications
Rosser Provability and Normal Modal Logics
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces
Design of an Intelligent Data Cache with Replacement Policy
Challenges in Channel Measurement and Modeling for RF Localization Inside the Human Body
Improved CEEMDAN Based Speech Signal Analysis Algorithm for Mental Disorders Diagnostic System: Pitch Frequency Detection and Measurement
Supporting Real-Time Data Transmissions in Cognitive Radio Networks Using Queue Shifting Mechanism
A Survey of FPGA Dynamic Reconfiguration Design Methodology and Applications
Reliable Energy-Aware Scheduling Algorithm With Multi-Level Budget for Real-Time Embedded System
Synchronization-Aware Task Allocation Techniques for Preemption Control to Reduce Blocking Time in Multiprocessor Real-Time System
Conversational Frames: Improving Conversation Context in Smart Personal Assistants
A Self-Organized Scheduling Algorithm for Embedded Real-Time Systems
N-Gram Based Approach for Text Authorship Classification: Metric Selection
One Approach to Improving Smart Environment Communication via the Security Parameter
Ontology-Based Interaction of Mobile Robots for Coalition Creation
A Survey on Quality Attributes and Quality Models for Embedded Software
Analysis of Monitoring Structures for Network-on-Chip: A Distributed Approach
Self-Calibrating Source Synchronous Communication for Delay Variation Tolerant GALS Network-on-Chip Design
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms
Performance of OQAM/GFDM in Spatial Multiplexing MIMO Systems
Cost-Based Topology Optimization of Embedded Ethernet Networks
Multi-Layer Data Model of a Complex Transportation Network
System Architecture for 3GPP-LTE Modem using a Programmable Baseband Processor
The Study of Genetic Type Steganographic Models to Increase Noise Immunity of IoT Systems
True Concurrency Semantics: Towards a Verification of Timed Systems
Hierarchical Interpretable Topical Embeddings for Exploratory Search and Real-Time Document Tracking
A Review of the Scopes and Challenges of the Modern Real-Time Operating Systems
Analytical Approach to Estimating Total Migration Time of Virtual Machines With Various Applications
Joint Uplink and Downlink Performance Profiling of LTE Protocol Processing on a Mobile Platform
Implementation of the Communication Network for the Multi-Agent Robotic Systems
Joint Validation of Application Models and Multi-Abstraction Network-on-Chip Platforms
STP-ISS Transport Protocol for SpaceWire On-Board Networks: Development and Evolution
Center of Pressure Measurement to Evaluate Fall Risk in the Elderly
An Innovative Air Purification Method and Neural Network Algorithm Applied to Urban Streets
Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis
Smart Spaces-Based Application Development: M3 Architecture, Design Principles, Use Cases, and Evaluation
Iterative Interference Cancellation for Coded Filter Bank Multicarrier Systems
Algorithms for Real-Time Endoscopy Image Processing Pipeline in Clinical Decision Support Systems
A New Fault Tolerant Routing Algorithm for Networks on Chip
Methods of Semantic Integrity Preservation in the Pattern Recognition Process
One, Five, and Ten-Shot-Based Meta-Learning for Computationally Efficient Head Pose Estimation
A New Intelligent Biologically-Inspired Model for Fault Tolerance in Distributed Embedded Systems
ECPDR: An Efficient Conditional Privacy-Preservation Scheme with Demand Response for Secure Ad hoc Social Communications
Comparative Study of Neural Network-Based Approaches for QRS Segmentation
Energy Consumption Analysis of Secure and Clustered Wireless Sensor Network
A Training Method of Convolution Neural Network for Illumination Robust Pedestrian Detection
Mobile Heart Monitoring System Prototype Based on the Texas Instruments Hardware: Energy Efficiency and J-point Detection
Towards the Development of Smart Spaces-Based Socio-Cyber-Medicine Systems
Traffic Flows Forecasting Based on Machine Learning
Hybrid Energy Efficient Protocol with Service Differentiation for QoS Provisions in Multi-Hop WSNs
Survey of Self-Adaptive NoCs with Energy-Efficiency and Dependability
Application Workload Modelling via Run-Time Performance Statistics
Recouping the Modified Data in Intruder-Based Environment
Parallel Access Control Model in Cross-Domain Grid Computing Environment
Urban Smart Block: An Open IoT Platform for Creating Online-to-Offline Services in Urban Environments
Generating Process Network Communication Infrastructure for Custom Multi-Core Platforms
Ambient Intelligence At-Home Laboratory for Human Everyday Life
On Strengthening of Weak Algebraic Manipulation Detection Codes
Asynchronous Hard Real Time Signals Transmission in Embedded Networks
A Buffered Dual-Access-Mode Scheme Designed for Low-Power Highly-Associative Caches
TAKE-IoT: Tiny Authenticated Key Exchange Protocol for the Internet of Things
Communication and Security Technologies for Smart Grid
Design and Implementation of a Firmware Update Protocol for Resource Constrained Wireless Sensor Networks
String-Based Feature Representation for Trajectory Clustering
A New Method for Prolonging Network Lifetime and Maintaining the Connectivity in Wireless Sensor Network Through Controlling the Transmission Power
Recent Trends in Interference Mitigation and Spoofing Detection
Improving Performance of Bell Labs Layered Space-Time Systems by Multiframe Space-Time Interleavers
Forecasting Telecommunication Network States on the Basis of Log Patterns Analysis and Knowledge Graphs Modeling
Energy Efficient Sensor Deployment with TCOV and NCON in Wireless Sensor Networks: Energy Efficient Sensor Deployment with TCOV
An Improved Unified AES Implementation Using FPGA
Performance Analysis of Temperature Management Approaches in Networks-on-Chip
Service Intelligence and Communication Security for Ambient Assisted Living
Deductive Synthesis of Networks Hierarchical Knowledge Graphs
Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification
A Simplistic Approach for Lightweight Multi-Agent SLAM Algorithm
Efficient Implementation of Application-Aware Spinlock Control in MPSoCs
Theoretical Analysis of Overlay GNSS Receiver Effects
Nekray: A Linux Kernel-Based Customized Operating System for Information Kiosk
A Modified GA-Based Load Balanced Clustering Algorithm for WSN: MGALBC
Fault Mitigation in Reconfigurable NoC Routers with Thin Design Rules
Wireless Sensor Network Using ARM Processors: A Review in Hardware Perspective
GNSS Data Processing and Analysis for Earthquake Disaster Prevention Monitoring
Efficient Channel Estimation in Massive MIMO Partially Centralized Cloud-Radio Access Network Systems
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars
A Semantic Approach to Designing Information Services for Smart Museums
Design and Implementation of a Reliable Reconfigurable Imaging System
A Parallel Software Architecture for the LTE Protocol on a Multi-Core Mobile Modem
A High-Throughput Architecture for the SHA-256/224 Compliant With the DSRC Standard
Smart Spaces Enabled Mobile Healthcare Services in Internet of Things Environments
A Simulation Tool for Real-Time Hybrid-Cooperative Positioning Algorithms
Theft Preventive Measures for Interconnected Personal Computer Devices as Proactive Physical Security of Data
A Concept Drift-Aware DAG-Based Classification Scheme for Acoustic Monitoring of Farms
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
A Multi-Dimensional Mean Failure Cost Model to Enhance Security of Cloud Computing Systems
A CoAP-Based Hypermedia Framework for Always-On and Sleepy Devices in Smart Home Environment
An Architecture of the Semantic Meta Mining Assistant for Adaptive Domain-Oriented Data Processing
CompactRIO Based Real Time Implementation of AES Algorithm for Embedded Applications
Domain-Specific Programming Environment for Heterogeneous Multicore Embedded Systems
On Self-Aware Mixed-Signal Systems Based on S-Δ ADC
Congestion Avoidance and Delay Minimization in Energy Aware Routing of Dynamic ieee 802.11s WMN: Wireless Mesh Networks Under Mobility Conditions
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach