tag :: logic | BibSonomy

bookmarks (hide)550
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
RSS
BibTeX
XML

1paradoxes - Is $B = \{x:x \notin B\}$ a valid paradox in Naive Set Theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1089224/is-b-xx-notin-b-a-valid-paradox-in-naive-set-theory?rq=1
7 months ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1soft question - complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4145833/complete-axiomatization-of-reals-vs-we-cant-prove-every-statement-about-the-rea
7 months ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg (JPEG Image, 880 × 880 pixels)
https://www.boredpanda.com/blog/wp-content/uploads/2022/06/Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg
11 months ago by @bshanks
show all tags
comic
logic
comiclogic
(0)
copydelete
- community post
- history of this post
1Wolfram Logic (@wolframlogic) | Zeneca
https://www.zeneca.io/wolframlogic
a year ago by @bshanks
show all tags
logic
logic
(0)
copydelete
- community post
- history of this post
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
2 years ago by @bshanks
show all tags
logic
math
proof
toread
logicmathprooftoread
(0)
copydelete
- community post
- history of this post
1Proof Theory (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/proof-theory/
2 years ago by @bshanks
show all tags
logic
math
proof
logicmathproof
(0)
copydelete
- community post
- history of this post
2Dominic Hughes
http://boole.stanford.edu/~dominic/
2 years ago by @bshanks
show all tags
cs353
logic
math
pratt
proof
proofnet
cs353logicmathprattproofproofnet
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
http://theory.stanford.edu/~rvg/
2 years ago by @bshanks
show all tags
concurrency
cs353
logic
math
pratt
concurrencycs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
2 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
2 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
2 years ago by @bshanks
show all tags
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic
http://ai.stanford.edu/~epacuit/classes/modal.html
2 years ago by @bshanks
show all tags
course
logic
math
modal
courselogicmathmodal
(0)
copydelete
- community post
- history of this post
1PHIL 169: Modal Logic Course Homepage
https://web.stanford.edu/class/phil169/coursework/syllabus.html
2 years ago by @bshanks
show all tags
benthem
course
logic
math
modal
stanford
benthemcourselogicmathmodalstanford
(0)
copydelete
- community post
- history of this post
1syl02.pdf
http://boole.stanford.edu/cs353/handouts/syl02.pdf
2 years ago by @bshanks
show all tags
cs353
logic
math
pratt
cs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Wayback Machine
https://web.archive.org/web/20210125162407/http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
2 years ago by @bshanks
show all tags
cs353b
logic
math
pratt
cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
https://web.archive.org/web/20210330171450/https://theory.stanford.edu/~rvg/
2 years ago by @bshanks
show all tags
Glabbeek
logic
math
pratt
Glabbeeklogicmathpratt
(0)
copydelete
- community post
- history of this post
1CS352
Glabbeek
2 years ago by @bshanks
show all tags
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
copydelete
- community post
- history of this post
1CS 353 Autumn 2003-04 Handouts
https://web.archive.org/web/20190706060019/http://boole.stanford.edu/cs353/handouts.html
2 years ago by @bshanks
show all tags
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1cs353-02.pdf
http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
2 years ago by @bshanks
show all tags
algebraic
chu
cs353
cs353b
logic
math
pratt
algebraicchucs353cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post
1Dynamic Logic. New Trends and Applications - 2018_Book_DynamicLogicNewTrendsAndApplic.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-319-73579-5.pdf
2 years ago by @bshanks
show all tags
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)777
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
folkrank
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Probability logic and probabilistic induction.
S. Greenland. Epidemiology (Cambridge, Mass.) 9 (3): 322-32 (May 1998)2502<m:linebreak></m:linebreak>Comment in: Epidemiology 1998 May;9(3):233;.
4 months ago by @jepcastel
show all tags
EpidemiologicStudies
Humans
Logic
Models
ProbabilityTheory
ResearchDesign
Statistical
EpidemiologicStudiesHumansLogicModelsProbabilityTheoryResearchDesignStatistical
(0)
copydeleteadd this publication to your clipboard
1On the origin of Hill's causal criteria.
A. Morabia. Epidemiology (Cambridge, Mass.) 2 (5): 367-9 (September 1991)3207<m:linebreak></m:linebreak>Causalitat.
4 months ago by @jepcastel
show all tags
17thCentury
20thCentury
Causality
Epidemiology
Epidemiology:history
History
Logic
Philosophy
17thCentury20thCenturyCausalityEpidemiologyEpidemiology:historyHistoryLogicPhilosophy
(0)
copydeleteadd this publication to your clipboard
1Looking back on "causal thinking in the health sciences".
J. Kaufman, and C. Poole. Annual review of public health (January 2000)3644<m:linebreak></m:linebreak>Causalitat.
4 months ago by @jepcastel
show all tags
Causality
Ecology
Epidemiology
Humans
Judgment
Logic
Medical
Models
Philosophy
PublicHealthPractice
Statistical
SystemsAnalysis
Thinking
CausalityEcologyEpidemiologyHumansJudgmentLogicMedicalModelsPhilosophyPublicHealthPracticeStatisticalSystemsAnalysisThinking
(0)
copydeleteadd this publication to your clipboard
1Argumentation and evidence.
R. Upshur, and E. Colak. Theoretical medicine and bioethics 24 (4): 283-99 (January 2003)7285<m:linebreak></m:linebreak>LR: 20061115; JID: 9805378; ppublish;<m:linebreak></m:linebreak>EBM.
4 months ago by @jepcastel
show all tags
DecisionMaking
Evidence-BasedMedicine
Humans
Hypertension
Hypertension:drugtherapy
Knowledge
Logic
DecisionMakingEvidence-BasedMedicineHumansHypertensionHypertension:drugtherapyKnowledgeLogic
(0)
copydeleteadd this publication to your clipboard
1Popperian refutation in epidemiology.
M. Maclure. American journal of epidemiology 121 (3): 343-50 (March 1985)2888<m:linebreak></m:linebreak>Causalitat.
4 months ago by @jepcastel
show all tags
Epidemiology
Humans
Logic
LungNeoplasms
LungNeoplasms:etiology
Medical
Philosophy
Smoking
EpidemiologyHumansLogicLungNeoplasmsLungNeoplasms:etiologyMedicalPhilosophySmoking
(0)
copydeleteadd this publication to your clipboard
1British Imperialism in Colonial Africa and the World
A. Rappa. BOHR International Journal of Social Science and Humanities Research 1 (1): 93--97 (2022)
4 months ago by @bijsshrjournal
show all tags
Africa
Colonial
Cultural
Interpretation
Logic
Symbolic
agency
imperialism
western
AfricaColonialCulturalInterpretationLogicSymbolicagencyimperialismwestern
(0)
copydeleteadd this publication to your clipboard
1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER
M. Lwin. Mechatronics and Applications: An International Journal (MECHATROJ) 2 (1): 01-12 (January 2018)
5 months ago by @clauren
show all tags
(FLC)
Boost
Centre
Control
Controller
Converter
DC-DC
Data
Double
Dual
Energy
Fuzzy
High
Logic
Mode
Renewable
Stage
System
Vehicle
Voltage
(FLC)BoostCentreControlControllerConverterDC-DCDataDoubleDualEnergyFuzzyHighLogicModeRenewableStageSystemVehicleVoltage
(0)
copydeleteadd this publication to your clipboard
1Development of Logical Thinking in Elementary Mathematics Classes
I. Qizi. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT 6 (6): 1446-1450 (October 2022)
6 months ago by @ijtsrd
show all tags
education
logic
logical
logicality
primary
task
thinking
educationlogiclogicallogicalityprimarytaskthinking
(0)
copydeleteadd this publication to your clipboard
1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System
S. Diwan. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT 6 (5): 1157-1161 (July 2022)
9 months ago by @ijtsrd
show all tags
&
(FLC)
(IGBT)
(MPPT)
(P&O)
(PWM)
(STATCOM)
(THD)
)
Insulated
Maximum
Modulation
Observation
Perturbation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC)(IGBT)(MPPT)(P&O)(PWM)(STATCOM)(THD))InsulatedMaximumModulationObservationPerturbationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Analysis and Implementation of Fuzzy Logic Controller Based MPPT to Enhance Power Quality in PV System
A. Prajapati. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT 6 (5): 724-733 (July 2022)
9 months ago by @ijtsrd
show all tags
(FIS)
(PV)
Boost
Controller
Converter
Fuzzy
Logic
MATLAB
MPPT
Simulink
Solar
(FIS)(PV)BoostControllerConverterFuzzyLogicMATLABMPPTSimulinkSolar
(0)
copydeleteadd this publication to your clipboard
1Advanced Pitch Angle Control Configuration of Wind Energy Conversion System with Different Control System Configuration
V. Gajpal. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT 6 (5): 459-463 (July 2022)
9 months ago by @ijtsrd
show all tags
(FLC)
(IGBT)
(PMSG)
(Total
(static
Fuzzy
Insulated
Permanent
Pitch
STATCOM
THD
angle
bipolar
compensator)
controller
distortion)
gate
generator
harmonic
logic
magnet
synchronous
transistor
(FLC)(IGBT)(PMSG)(Total(staticFuzzyInsulatedPermanentPitchSTATCOMTHDanglebipolarcompensator)controllerdistortion)gategeneratorharmoniclogicmagnetsynchronoustransistor
(0)
copydeleteadd this publication to your clipboard
1Methods of Organizing Mental Arithmetic Lessons in Preschool Education
S. Mohinur. International Journal on Integrated Education (2022)
9 months ago by @researchpark_20
show all tags
Analytical
Imagining
Logic
Mental
arithmetic
thinking
AnalyticalImaginingLogicMentalarithmeticthinking
(0)
copydeleteadd this publication to your clipboard
1F-802.11P: A Fuzzy Enhancement for IEEE 802.11P in Vehicle-to-Everything Communications
H. Sayedahmed, E. Elgamal, and H. Hefny. International Journal of Computer Networks & Communications (IJCNC) 14 (04): 19-40 (July 2022)
10 months ago by @laimbee
show all tags
802.11p
DSRC
Fuzzy
IEEE
logic
vehicle-to-everything
802.11pDSRCFuzzyIEEElogicvehicle-to-everything
(0)
copydeleteadd this publication to your clipboard
1An Algorithm to Extract the Costume’s Size by Fuzzy Logic
M. Nguyen. BOHR International Journal of Smart Computing and Information Technology 1 (1): 9-13 (July 2022)
10 months ago by @ijscitjournal
show all tags
Algorithm
Fuzzy
Ready-to-Wear
Size
Sizingsystem
logic
AlgorithmFuzzyReady-to-WearSizeSizingsystemlogic
(0)
copydeleteadd this publication to your clipboard
1Review on Solar Power System with Artificial Intelligence
P. Hitesh. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT 6 (1): 738-741 (December 2021)
11 months ago by @ijtsrd
show all tags
Algorithm
Artificial
Fuzzy
Genetic
Intelligence
Logic
Network
Neural
AlgorithmArtificialFuzzyGeneticIntelligenceLogicNetworkNeural
(0)
copydeleteadd this publication to your clipboard
1Logic gates based in asymmetric couplers: Numerical analysis
J. de Almeida, J. Menezes, W. Fraga, J. Sales, A. Ferreira, S. Marciano, A. Filho, M. da Silva, and A. Sombra. FIBER AND INTEGRATED OPTICS 26 (4): 217-228 (2007)
a year ago by @ppgfis_ufc_br
show all tags
coupler;
directional
gates;
logic
nonlinear
optical
pulses;
soliton
switching}
{optical
coupler;directionalgates;logicnonlinearopticalpulses;solitonswitching}{optical
(0)
copydeleteadd this publication to your clipboard
1NUMERICAL ANALYSIS OF THE INSTANTANEOUS AND RELAXED KERR MODEL FOR GENERATION OF THE ALL-OPTICAL LOGIC GATES WITH TRIANGULAR FIBER COUPLER (TFC)
J. Menezes, J. Sousa, M. Costa, A. Ferreira, F. Lima, C. Sobrinho, M. Lyra, and A. Sombra. JOURNAL OF NONLINEAR OPTICAL PHYSICS & MATERIALS (2012)
a year ago by @ppgfis_ufc_br
show all tags
Kerr
and
approximation
coupler}
fiber
gates;
instantaneous
logic
model;
of
relaxation
the
triangular
{All-optical
Kerrandapproximationcoupler}fibergates;instantaneouslogicmodel;ofrelaxationthetriangular{All-optical
(0)
copydeleteadd this publication to your clipboard
1Generation of logic gates based on a photonic crystal fiber Michelson interferometer
J. Sousa, A. Filho, A. Ferreira, G. Batista, C. Sobrinho, A. Bastos, M. Lyra, and A. Sombra. OPTICS COMMUNICATIONS (2014)
a year ago by @ppgfis_ufc_br
show all tags
Coupler;
Logic
Nonlinear;
Photonic
crystal
fiber;
gates}
interferometer;
{Michelson
Coupler;LogicNonlinear;Photoniccrystalfiber;gates}interferometer;{Michelson
(0)
copydeleteadd this publication to your clipboard
1High quality of logic gates from the return arm of a Sagnac fiber interferometer
J. Sales, T. Pessoa, A. Ferreira, D. Correia, C. Sobrinho, J. de Almeida, J. Menezes, G. Guimaraes, and A. Sombra. JOURNAL OF ELECTROMAGNETIC WAVES AND APPLICATIONS 30 (18): 2459-2483 (2016)
a year ago by @ppgfis_ufc_br
show all tags
(PR);
all-optical
applications}
gate;
interferometer;
logic
network
optical
precision
processing;
ratio
signal
{Sagnac
(PR);all-opticalapplications}gate;interferometer;logicnetworkopticalprecisionprocessing;ratiosignal{Sagnac
(0)
copydeleteadd this publication to your clipboard
1PAM-ASK optical logic gates in an optical fiber Sagnac interferometer
A. Ferreira, A. Jr., J. Sousa, C. Sobrinho, F. Magalhaes, A. Filho, G. Guimaraes, J. Sales, J. Menezes, and A. Sombra. OPTICS AND LASER TECHNOLOGY (2016)
a year ago by @ppgfis_ufc_br
show all tags
(ASK);
(PAM);
All-optical
Amplitude
Pulse
Sagnac
amplitude
gates;
interferometer;
keying
logic
modulation
processing}
shift
signal
{Nonlinear
(ASK);(PAM);All-opticalAmplitudePulseSagnacamplitudegates;interferometer;keyinglogicmodulationprocessing}shiftsignal{Nonlinear
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩