Image de couverture de livre

Two Cases of Deduction with Non-referring Descriptions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Raclavský, Jiří
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Adjoint Natural Deduction (Extended Version)
par: Jang, Junyoung, et autres
Publié: (2024)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
par: Haak, Lars B. van den, et autres
Publié: (2024)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
par: Elad, Neta, et autres
Publié: (2023)

A Deductive System for Contract Satisfaction Proofs
par: Correnson, Arthur, et autres
Publié: (2026)

Context, Judgement, Deduction
par: Coraglia, Greta, et autres
Publié: (2021)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
par: Chen, Michael K., et autres
Publié: (2025)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
par: Bao, Qiming, et autres
Publié: (2022)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

Small Decision Trees for MDPs with Deductive Synthesis
par: Andriushchenko, Roman, et autres
Publié: (2025)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
par: Chen, Peng
Publié: (2026)

Practical Deductive Verification of OCaml Programs (Extended Version)
par: Pereira, Mário
Publié: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
par: Hellwig, Jonathan, et autres
Publié: (2026)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
par: Agarwal, Shubham, et autres
Publié: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
par: Kneisel, Tristan, et autres
Publié: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
par: Amilon, Jesper, et autres
Publié: (2025)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
par: Xu, Yang, et autres
Publié: (2025)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Non-commutative linear logic fragments with sub-context-free complexity
par: Nishimiya, Yusaku, et autres
Publié: (2025)

Extensional and Non-extensional Functions as Processes
par: Sakayori, Ken, et autres
Publié: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
par: Foster, Simon, et autres
Publié: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
par: Şakar, Ömer, et autres
Publié: (2026)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Basic interactive algorithms: Preview
par: Gurevich, Yuri
Publié: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

Computation of Interpolants for Description Logic Concepts in Hard Cases
par: Jung, Jean Christoph, et autres
Publié: (2025)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
par: Guillou, Lucie, et autres
Publié: (2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
par: Rustenholz, Louis, et autres
Publié: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Reasoning Around Paradox with Grounded Deduction
par: Ford, Bryan
Publié: (2024)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
par: Rose, Samuel, et autres
Publié: (2024)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
par: Zafar, Aizan, et autres
Publié: (2024)

Encoding call-by-push-value in the pi-calculus
par: Bennetzen, Benjamin, et autres
Publié: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
par: Li, Jinzheng, et autres
Publié: (2026)