Cover Image

Propositional Measure Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Aragão, Francisco
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence Primary: 03B48, Secondary: 68T27, 60A99, 68T37
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

State Algebra for Probabilistic Logic
by: Lesnik, Dmitry, et al.
Published: (2026)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
by: Pardal, Nina, et al.
Published: (2024)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

Probabilistically stable revision and comparative probability: a representation theorem and applications
by: Mierzewski, Krzysztof
Published: (2025)

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
by: Swanson, Jason
Published: (2025)

Integrating Fuzzy Logic with Causal Inference: Enhancing the Pearl and Neyman-Rubin Methodologies
by: Saki, Amir, et al.
Published: (2024)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Probabilistic Variational Causal Approach in Observational Studies
by: Faghihi, Usef, et al.
Published: (2022)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

Measurability in the Fundamental Theorem of Statistical Learning
by: Krapp, Lothar Sebastian, et al.
Published: (2024)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
by: Inoué, Takao
Published: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Extending choice assessments to choice functions: An algorithm for computing the natural extension
by: Decadt, Arne, et al.
Published: (2024)

Bridging Weighted First Order Model Counting and Graph Polynomials
by: Kuang, Qipeng, et al.
Published: (2024)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

The Representation of Meaningful Precision, and Accuracy
by: Mani, A
Published: (2024)

FastGS: Training 3D Gaussian Splatting in 100 Seconds
by: Ren, Shiwei, et al.
Published: (2025)

SEGS-SLAM: Structure-enhanced 3D Gaussian Splatting SLAM with Appearance Embedding
by: Wen, Tianci, et al.
Published: (2025)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
by: Kuang, Qipeng, et al.
Published: (2025)

Executable Boundary Contracts for Sound Event Traces
by: Alpay, Faruk, et al.
Published: (2026)

The structure of rough sets defined by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2024)