Results 111 to 120 of about 334 (129)
Some of the next articles are maybe not open access.

About Metainferences

Trends in Logic, 2023
Federico Pailos, Bruno Da Ré
exaly   +2 more sources

ST, LP and Tolerant Metainferences

Outstanding Contributions To Logic, 2019
The strict-tolerant (ST) approach to paradox promises to erect theories of naive truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard (Diss Math 136, 1976) we show that the usual proof-theoretic formulation of propositional ST in terms of the ...
Bogdan Dicher
exaly   +3 more sources

Integrative Modeling of 3D Genome Organization by Bayesian Molecular Dynamics Simulations with Hi-C Metainference

Polymer modeling has been playing an increasingly important role in complementing 3D genome experiments, both to aid their interpretation and to reveal the underlying molecular mechanisms. This chapter illustrates an application of Hi-C metainference, a Bayesian approach to explore the 3D organization of a target genomic region by integrating ...
openaire   +2 more sources

Rule-based metainference for crisp-type two-string fuzzy inference systems

2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014
Moritz Schneider   +2 more
openaire   +1 more source

Sequent-Calculi for Metainferential Logics

Studia Logica, 2021
Bruno Da Re, Federico Pailos
exaly  

Editorial Introduction: Substructural Logics and Metainferences

Journal of Philosophical Logic, 2023
Eduardo Barrio, Paul Egré
exaly  

Home - About - Disclaimer - Privacy