Found: 22
Select item for more details and to access through your institution.
DECIDING EQUATIONS IN THE TIME WARP ALGEBRA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:8)2024
- By:
- Publication type:
- Article
A REAL-VALUED MODAL LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 1, p. 1, doi. 10.23638/LMCS-14(1:10)2018
- By:
- Publication type:
- Article
EXACT UNIFICATION AND ADMISSIBILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:23)2015
- By:
- Publication type:
- Article
On-line analysis and in situ pH monitoring of mixed acid fermentation by Escherichia coli using combined FTIR and Raman techniques.
- Published in:
- Analytical & Bioanalytical Chemistry, 2020, v. 412, n. 26, p. 7307, doi. 10.1007/s00216-020-02865-5
- By:
- Publication type:
- Article
Density revisited.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 1, p. 175, doi. 10.1007/s00500-016-2420-7
- By:
- Publication type:
- Article
Admissibility in De Morgan algebras.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2012, v. 16, n. 11, p. 1875, doi. 10.1007/s00500-012-0839-z
- By:
- Publication type:
- Article
Integrally Closed Residuated Lattices.
- Published in:
- Studia Logica, 2020, v. 108, n. 5, p. 1063, doi. 10.1007/s11225-019-09888-9
- By:
- Publication type:
- Article
Nitrogen Fixation by Soil Yeasts.
- Published in:
- Nature, 1954, v. 174, n. 4435, p. 841, doi. 10.1038/174841b0
- By:
- Publication type:
- Article
Łukasiewicz Logic: From Proof Systems To Logic Programming.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 561, doi. 10.1093/jigpal/jzi042
- By:
- Publication type:
- Article
Craig interpolation for semilinear substructural logics.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 6, p. 468, doi. 10.1002/malq.201200004
- By:
- Publication type:
- Article
Nitrogen Fixation by a Species of Pullularia.
- Published in:
- Nature, 1957, v. 180, n. 4580, p. 282, doi. 10.1038/180282a0
- By:
- Publication type:
- Article
An Avron rule for fragments of R-mingle.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 381, doi. 10.1093/logcom/ext031
- By:
- Publication type:
- Article
Special Issue on Mathematical Fuzzy Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 5, p. 715, doi. 10.1093/logcom/exp057
- By:
- Publication type:
- Article
Order, Algebra and Logics.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 4, p. 759, doi. 10.1093/logcom/exp007
- By:
- Publication type:
- Article
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 35, doi. 10.1093/logcom/exn059
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Journal of Logic & Computation, 2009, v. 19, n. 2, p. 243
- By:
- Publication type:
- Article
Proof Theory for Casari's Comparative Logics.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 4, p. 405, doi. 10.1093/logcom/exl001
- By:
- Publication type:
- Article
Expressivity in chain-based modal logics.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 3/4, p. 361, doi. 10.1007/s00153-017-0573-4
- By:
- Publication type:
- Article
Normal forms for fuzzy logics: a proof-theoretic approach.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 347, doi. 10.1007/s00153-007-0033-7
- By:
- Publication type:
- Article
Fuzzy logics based on [0,1)-continuous uninorms.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 425, doi. 10.1007/s00153-007-0047-1
- By:
- Publication type:
- Article
Analytic Calculi for Product Logics.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 7, p. 859, doi. 10.1007/s00153-004-0225-3
- By:
- Publication type:
- Article
A MEMORIAL FOR A BLUE-COLLAR, BAVARIAN-BORN, SAN FRANCISCO FORTY-NINER.
- Published in:
- 1981
- By:
- Publication type:
- Biography