Probabilistic semantics and calculi for multi-valued and paraconsistent logics

DOI10.1007/S11225-024-10132-2MaRDI QIDQ6916898zbMATH OpenFDO

Authors Jaime Ramos, João Rasga, Cristina Sernadas

Publication date 14 October 2025

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-024-10132-2

zbMATH Keywords

multi-valued and paraconsistent logicsprobabilistic calculiprobabilistic semantics

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Many-valued logic (03B50) Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Cites work

• 40 years of FDE: an introductory overview
• Almost everywhere elimination of probability quantifiers
• Belnap's Four-Valued Logic and De Morgan Lattices
• Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Dynamic measure logic
• Editorial. Special issue on ``Uncertainty reasoning for the web
• From worlds to probabilities: A probabilistic semantics for modal logic
• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 5988004 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1014107 (Why is no real title available?)
• scientific article; zbMATH DE number 1028826 (Why is no real title available?)
• scientific article; zbMATH DE number 1095142 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logic with a probability semantics. Including solutions to some philosophical problems
• Logics of formal inconsistency
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Modal operators with probabilistic interpretations. I
• Non-deterministic Multiple-valued Structures
• On aggregating probabilistic evidence
• On probability and logic
• Paraconsistent logic: consistency, contradiction and negation
• Paraconsistent probabilities, their significance and their uses
• Probabilistic logic
• Probabilistic semantics for intuitionistic logic
• Probabilistic semantics objectified: I. Postulates and logics
• Probability logic
• Proof systems for probabilistic uncertain reasoning
• Reasoning about knowledge and probability
• Reasoning about uncertainty
• Some first-order probability logics
• Soundness and completeness results for LEA and probability semantics
• There is a probabilistic semantics for every extension of classical sentence logic

This page was built for publication: Probabilistic semantics and calculi for multi-valued and paraconsistent logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6916898)