Search results
From MaRDI portal
- Deriving logical relations from interpretations of predicate logic 2022-04-29 Paper Induction using term orderings 2020-01-21 Paper A logical view of assignments...10 bytes (18 words) - 01:41, 10 December 2023
- mardi4nfdi.de/entity/Q6159939 2023-06-23 Paper On the Versatility of Open Logical Relations 2022-10-13 Paper https://portal.mardi4nfdi.de/entity/Q5091273 2022-07-21...10 bytes (16 words) - 22:50, 24 September 2023
- Intuitionistic Letcc via Labelled Deduction 2015-03-23 Paper Linear logical relations and observational equivalences for session-based concurrency 2014-11-28...10 bytes (17 words) - 18:03, 9 December 2023
- Publication Type Proving correctness of a compiler using step-indexed logical relations 2018-04-23 Paper Pure type systems with explicit substitutions 2017-10-23...10 bytes (16 words) - 19:53, 24 September 2023
- Behavioral Types 2017-05-19 Paper A language for the logical specification of processes and relations 2017-01-19 Paper Information Flow Analysis for Valued-Indexed...10 bytes (17 words) - 10:33, 6 October 2023
- Homotopy-Initial Algebras 2016-09-29 Paper Logical relations for a logical framework 2015-09-17 Paper Towards Logical Frameworks in the Heterogeneous Tool Set...10 bytes (16 words) - 12:24, 7 October 2023
- of Publication Type A Kripke logical relation for effect-based program transformations 2016-07-07 Paper A kripke logical relation for effect-based program...10 bytes (16 words) - 06:46, 7 October 2023
- decorations of logical diagrams 2016-11-30 Paper Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers 2015-06-24 Paper Logical geometries...10 bytes (17 words) - 06:52, 7 October 2023
- L3A and L3B 2018-01-12 Paper Revisiting da Costa logic 2016-06-30 Paper A logical approach to A-Prolog 2013-04-19 Paper Equivalence for the \(G_3^\prime\)-stable...10 bytes (22 words) - 23:54, 10 December 2023
- 2001-04-17 Paper Logical truth and Tarskian logical truth 2000-02-07 Paper Tarski on logical consequences 1997-02-09 Paper...10 bytes (18 words) - 17:55, 7 December 2023
- Publication Type Graph, clique and facet of Boolean logical polytope 2022-04-11 Paper On Pareto-optimal Boolean logical patterns for numerical data 2021-11-10 Paper...10 bytes (18 words) - 03:55, 9 December 2023
- An investigation on the logical structure of mathematics. I. A logical system 1958-01-01 Paper An Investigation on the Logical Structure of Mathematics...10 bytes (17 words) - 08:42, 12 December 2023
- Paper Algebraic operations on fuzzy sets and relations in automata interpretation implemented by logical hardware 2022-12-09 Paper Symmetric information...10 bytes (18 words) - 01:21, 10 December 2023
- Bayesian Look at Nonidentifiability: A Simple Example 2023-02-03 Paper Logical coherence in Bayesian simultaneous three-way hypothesis tests 2022-12-08...10 bytes (18 words) - 23:36, 10 December 2023
- Publication Date of Publication Type A plea for logical objects 2009-08-11 Paper A defense the Kripkean account of logical truth in first-order modal logic 2005-11-08...10 bytes (18 words) - 01:21, 13 December 2023
- net representation of multi-valued logical regulatory graphs 2011-07-28 Paper Dynamically consistent reduction of logical regulatory graphs 2011-05-03 Paper...10 bytes (17 words) - 15:42, 11 December 2023
- Bisimulation as a logical relation 2022-12-20 Paper Deriving logical relations from interpretations of predicate logic 2022-04-29 Paper Logical relations and parametricity...10 bytes (18 words) - 15:42, 10 December 2023
- semantic characterization of modal logical connectives 1986-01-01 Paper Semantic characterization of intuitionistic logical connectives 1985-01-01 Paper Completeness...10 bytes (18 words) - 01:59, 12 December 2023
- Publication Type The logical structure of linguistic commitment. III: Brandomian scorekeeping and incompatibility 2002-03-06 Paper The logical structure of linguistic...10 bytes (18 words) - 17:49, 9 December 2023
- multi-valuations and intensional logical operations 2020-10-27 Paper Temporal logic with accessibility temporal relations generated by time states themselves...10 bytes (19 words) - 17:23, 11 December 2023